Wed, 08 Dec 1999 13:51:44 +0100 | paulson | useful lemma eqset_imp_iff | changeset | files |
Tue, 07 Dec 1999 17:14:49 +0100 | wenzelm | tuned; | changeset | files |
Tue, 07 Dec 1999 12:13:09 +0100 | wenzelm | tuned; | changeset | files |
Tue, 07 Dec 1999 12:12:54 +0100 | wenzelm | added Isar_examples/Fibonacci.thy; | changeset | files |
Tue, 07 Dec 1999 11:01:48 +0100 | nipkow | Fixed bug in find-functions: list of parameters must be reversed before | changeset | files |
Mon, 06 Dec 1999 14:23:45 +0100 | nipkow | Renamed some vars | changeset | files |
Thu, 02 Dec 1999 09:09:30 +0100 | nipkow | cosmetic mod. | changeset | files |