Tue, 19 Jun 2007 18:00:49 +0200 | krauss | generalized proofs so that call graphs can have any node type. | file | diff | annotate |
Tue, 22 May 2007 17:25:26 +0200 | krauss | some optimizations, cleanup | file | diff | annotate |
Thu, 17 May 2007 19:49:40 +0200 | haftmann | canonical prefixing of class constants | file | diff | annotate |
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 |