Mon, 16 Jun 2008 17:54:35 +0200 | wenzelm | eliminated OldGoals.inst; | file | diff | annotate |
Wed, 11 Jun 2008 18:02:25 +0200 | wenzelm | OldGoals.inst; | file | diff | annotate |
Mon, 23 Jul 2007 14:31:34 +0200 | berghofe | LaTeX code is now generated directly from theory files. | file | diff | annotate |