| Mon, 11 Sep 2006 21:35:19 +0200 | wenzelm | induct method: renamed 'fixing' to 'arbitrary'; | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Thu, 08 Dec 2005 20:15:50 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| 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 |