| Sat, 24 Nov 2001 16:56:26 +0100 | wenzelm | gen_merge_lists; | changeset | files |
| Sat, 24 Nov 2001 16:55:56 +0100 | wenzelm | added gen_merge_lists(') and merge_lists('); | changeset | files |
| Sat, 24 Nov 2001 16:55:00 +0100 | wenzelm | gen_merge_lists'; | changeset | files |
| Sat, 24 Nov 2001 16:54:32 +0100 | wenzelm | generic_merge; | changeset | files |
| Sat, 24 Nov 2001 16:54:10 +0100 | wenzelm | converted simp lemmas; | changeset | files |
| Sat, 24 Nov 2001 16:53:31 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 24 Nov 2001 13:58:19 +0100 | berghofe | Extended match_proof to handle abstractions. | changeset | files |