Thu, 20 Nov 1997 10:55:27 +0100 | paulson | Got rid of some slow deepen_tac calls | changeset | files |
Thu, 20 Nov 1997 10:54:04 +0100 | paulson | Renamed "overload" to "overloaded" for sml/nj compatibility | changeset | files |
Thu, 20 Nov 1997 10:50:51 +0100 | paulson | No more makeatletter/other | changeset | files |
Tue, 18 Nov 1997 16:37:25 +0100 | paulson | Crypt_imp_keysFor: version of Crypt_imp_invKey_keysFor for shared keys | changeset | files |
Tue, 18 Nov 1997 16:36:33 +0100 | paulson | The dtac was discarding information, though apparently no proofs were hurt | changeset | files |
Tue, 18 Nov 1997 15:30:50 +0100 | berghofe | Fixed bug in inst_split. | changeset | files |
Mon, 17 Nov 1997 15:40:25 +0100 | wenzelm | improved big_rec_name lookup; | changeset | files |