Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
Wed, 14 Apr 2004 14:13:05 +0200 | kleing | use more symbols in HTML output | file | diff | annotate |
Thu, 24 Oct 2002 07:23:46 +0200 | nipkow | ASIN -> SET | file | diff | annotate |
Mon, 30 Sep 2002 16:48:15 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
Mon, 29 Apr 2002 11:30:15 +0200 | nipkow | Better compiler proof | file | diff | annotate |
Fri, 26 Apr 2002 11:47:01 +0200 | nipkow | New machine architecture and other direction of compiler proof. | file | diff | annotate |