| Sun, 04 Apr 1999 16:07:33 +0200 | paulson | fixed bib file | changeset | files |
| Sat, 03 Apr 1999 13:05:42 +0200 | wenzelm | fixed; | changeset | files |
| Thu, 01 Apr 1999 18:42:48 +0200 | pusch | new definition for nth. | changeset | files |
| Wed, 31 Mar 1999 16:14:20 +0200 | nipkow | useless relic | changeset | files |
| Tue, 30 Mar 1999 13:17:55 +0200 | nipkow | arith_tac | changeset | files |
| Fri, 19 Mar 1999 11:26:40 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 19 Mar 1999 11:24:00 +0100 | wenzelm | common qed and end of proofs; | changeset | files |
| Thu, 18 Mar 1999 16:44:53 +0100 | nipkow | * New bounded quantifier syntax (input only): | changeset | files |