Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Thu, 02 Sep 2004 16:52:21 +0200 | paulson | new example of a quotiented nested data type | file | diff | annotate |
Wed, 01 Sep 2004 15:04:01 +0200 | paulson | new "respects" syntax for quotienting | file | diff | annotate |
Fri, 20 Aug 2004 12:25:20 +0200 | paulson | new examples | file | diff | annotate |
Fri, 06 Aug 2004 16:55:14 +0200 | nipkow | undid UN/INT syntax | file | diff | annotate |
Fri, 23 Apr 2004 11:04:07 +0200 | paulson | congruent2 now allows different equiv relations | file | diff | annotate |
Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Thu, 08 Apr 2004 15:47:44 +0200 | paulson | freeness theorems and induction rule | file | diff | annotate |
Wed, 07 Apr 2004 14:25:48 +0200 | paulson | IsaMakefile | file | diff | annotate |