| Thu, 28 Nov 1996 12:31:33 +0100 |
paulson |
Replaced map...~~ by ListPair.map
|
changeset |
files
|
| Thu, 28 Nov 1996 12:28:52 +0100 |
paulson |
Extra fix needed in newN case
|
changeset |
files
|
| Thu, 28 Nov 1996 12:09:33 +0100 |
nipkow |
Missing case in instantiation of Transitivity prover (negate(None)=None)
|
changeset |
files
|
| Thu, 28 Nov 1996 10:50:43 +0100 |
paulson |
Replaced map...~~ by ListPair.map
|
changeset |
files
|
| Thu, 28 Nov 1996 10:44:24 +0100 |
paulson |
Replaced map...~~ by ListPair.map
|
changeset |
files
|
| Thu, 28 Nov 1996 10:42:19 +0100 |
paulson |
Addition of structures List and ListPair
|
changeset |
files
|
| Thu, 28 Nov 1996 10:41:14 +0100 |
paulson |
Weaking of injectivity assumptions for newK and newN:
|
changeset |
files
|
| Wed, 27 Nov 1996 20:36:33 +0100 |
oheimb |
moved split_tac
|
changeset |
files
|
| Wed, 27 Nov 1996 17:00:25 +0100 |
wenzelm |
added symbols syntax;
|
changeset |
files
|
| Wed, 27 Nov 1996 16:57:38 +0100 |
wenzelm |
added "op :", "op ~:" syntax;
|
changeset |
files
|
| Wed, 27 Nov 1996 16:51:15 +0100 |
wenzelm |
added symbols syntax;
|
changeset |
files
|
| Wed, 27 Nov 1996 16:48:19 +0100 |
wenzelm |
fixed comment;
|
changeset |
files
|