Cross Reference: /hets/GMP/papers/heterogenous/mathpartir.sty

History log of /hets/GMP/papers/heterogenous/mathpartir.sty
Revision		Date	Author	Comments Expand
304d15b2ffa9376d78bddcfc63569824381714ab		21-Oct-2009	Daniel Hausmann <hausmann@informatik.uni-bremen.de>	First version of a paper about heterogenous modal logics in CoLoSS git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12686 cec4b9c1-7d33-0410-9eda-942365e851bb coalgml.bib entcs.bst entcs.cls entcsmacro.sty header.tex het_col.tex ifpdf.sty instr.ascii kvoptions.sty mathpartir.sty myabbrv.bst refcount.drv refcount.dtx refcount.ins refcount.log refcount.sty