| Sat, 20 Dec 2008 11:55:34 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Mon, 28 Aug 2006 16:10:44 +0200 | webertj | encode clauses as Isar premises, rather than as object-logic &, for faster parsing | file | diff | annotate |
| Mon, 23 Aug 2004 16:35:53 +0200 | webertj | initial version | file | diff | annotate |