| Mon, 23 Oct 2000 15:20:32 +0200 | paulson | quantifiers now allowed in inductive defs | changeset | files |
| Mon, 23 Oct 2000 15:20:15 +0200 | paulson | tidied | changeset | files |
| Mon, 23 Oct 2000 11:15:52 +0200 | wenzelm | isatool unsymbolize; | changeset | files |
| Mon, 23 Oct 2000 11:14:43 +0200 | wenzelm | added type_definitionI; | changeset | files |
| Mon, 23 Oct 2000 11:14:00 +0200 | wenzelm | tuned deps; | changeset | files |
| Mon, 23 Oct 2000 10:20:55 +0200 | paulson | contrapos | changeset | files |
| Mon, 23 Oct 2000 10:16:52 +0200 | paulson | two spelling fixes | changeset | files |
| Sun, 22 Oct 2000 22:23:16 +0200 | wenzelm | tuned; | changeset | files |