| Sat, 24 Oct 1998 21:25:43 +0200 | wenzelm | official release; | changeset | files |
| Sat, 24 Oct 1998 21:21:21 +0200 | wenzelm | ML_SYSTEM factory default; | changeset | files |
| Sat, 24 Oct 1998 20:28:03 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Sat, 24 Oct 1998 20:24:33 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 24 Oct 1998 20:22:45 +0200 | wenzelm | records; | changeset | files |
| Sat, 24 Oct 1998 17:16:20 +0200 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 23 Oct 1998 22:37:15 +0200 | berghofe | Added theorem bool_induct (for rep_datatype). | changeset | files |