Wed, 03 Feb 1999 14:02:49 +0100 | paulson | documented typecheck_tac, etc | changeset | files |
Wed, 03 Feb 1999 13:29:24 +0100 | paulson | standard spelling: type-checking | changeset | files |
Wed, 03 Feb 1999 13:26:07 +0100 | paulson | inj is now a translation of inj_on | changeset | files |
Wed, 03 Feb 1999 13:23:24 +0100 | paulson | standard spelling: type-checking | changeset | files |
Mon, 01 Feb 1999 10:29:11 +0100 | paulson | a bit of tidying | changeset | files |
Sat, 30 Jan 1999 10:42:40 +0100 | wenzelm | Theory loader primitives. | changeset | files |