| Wed, 03 Feb 1999 16:27:36 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 03 Feb 1999 16:02:21 +0100 |
paulson |
tidied; added thy_load.ML
|
changeset |
files
|
| Wed, 03 Feb 1999 15:50:37 +0100 |
paulson |
tidied, with left_inverse & right_inverse as default simprules
|
changeset |
files
|
| Wed, 03 Feb 1999 15:49:24 +0100 |
paulson |
auto update
|
changeset |
files
|
| Wed, 03 Feb 1999 15:48:52 +0100 |
paulson |
inj
|
changeset |
files
|
| 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
|
| Fri, 29 Jan 1999 17:12:34 +0100 |
oheimb |
corrected output of symbols for several (probably not all) relevant functions
|
changeset |
files
|
| Fri, 29 Jan 1999 17:12:14 +0100 |
oheimb |
renamed space2 to spacespace
|
changeset |
files
|
| Fri, 29 Jan 1999 17:11:40 +0100 |
oheimb |
corrected output of symbols for several (probably not all) relevant functions
|
changeset |
files
|