Thu, 26 Feb 2009 20:44:07 +0100 | wenzelm | uniform treatment of ML indexing, using general \indexdef macro for formal Isabelle/Isar entities; | file | diff | annotate |
Mon, 16 Feb 2009 21:04:15 +0100 | wenzelm | removed unused glossary macros; | file | diff | annotate |
Sun, 04 May 2008 21:34:44 +0200 | wenzelm | removed isasymIMPORTS/BEGIN -- already defined in isar.sty; | file | diff | annotate |
Tue, 07 Nov 2006 12:20:11 +0100 | krauss | Added a (stub of a) function tutorial | file | diff | annotate |