Sat, 14 Apr 2007 17:35:52 +0200 | wenzelm | cleaned/simplified Sign.read_typ, Thm.read_cterm etc.; | file | diff | annotate |
Tue, 03 Apr 2007 19:24:11 +0200 | wenzelm | removed assert/deny (avoid clash with Alice keywords and confusion due to strict evaluation); | file | diff | annotate |
Wed, 28 Feb 2007 16:35:00 +0100 | krauss | more cleanup | file | diff | annotate |