| Fri, 25 Apr 1997 14:12:33 +0200 | wenzelm | misc tuning; | changeset | files |
| Fri, 25 Apr 1997 11:11:52 +0200 | oheimb | removed one blank at end of line 37 | changeset | files |
| Thu, 24 Apr 1997 19:47:53 +0200 | wenzelm | refer to SOME, NONE on top-level; | changeset | files |
| Thu, 24 Apr 1997 19:46:24 +0200 | wenzelm | adapted for 1.09.27 (and later); | changeset | files |
| Thu, 24 Apr 1997 19:46:05 +0200 | wenzelm | open General (type option is in Option in the newer versions, but always | changeset | files |
| Thu, 24 Apr 1997 19:41:00 +0200 | wenzelm | adapted to SML/NJ 1.09.27; | changeset | files |
| Thu, 24 Apr 1997 19:08:32 +0200 | nipkow | Added 'induct_tac' | changeset | files |
| Thu, 24 Apr 1997 18:51:14 +0200 | nipkow | Updates because nat_ind_tac no longer appends "1" to the ind.var. | changeset | files |