Tue, 01 Jul 1997 10:39:28 +0200 | paulson | Deleted the obsolete operators newK, newN and nPair | changeset | files |
Tue, 01 Jul 1997 10:38:11 +0200 | paulson | Now the possibility proof calls the appropriate tactic | changeset | files |
Tue, 01 Jul 1997 10:37:42 +0200 | paulson | Added a comment | changeset | files |
Tue, 01 Jul 1997 10:37:03 +0200 | paulson | Now Collect_mem_eq is a default simprule (how could it have ever been omitted? | changeset | files |
Tue, 01 Jul 1997 10:34:30 +0200 | paulson | New laws for the "lists" operator | changeset | files |
Mon, 30 Jun 1997 12:08:19 +0200 | nipkow | More concat lemmas. | changeset | files |