| Tue, 22 Jul 1997 11:49:44 +0200 | paulson | Now possibility_tac is an explicit function, in order to delay | changeset | files |
| Tue, 22 Jul 1997 11:26:02 +0200 | paulson | Cosmetic changes: margins, indentation, ... | changeset | files |
| Tue, 22 Jul 1997 11:23:03 +0200 | paulson | Now possibility_tac and basic_possibility_tac are explicit functions, in order | changeset | files |
| Tue, 22 Jul 1997 11:21:17 +0200 | paulson | Deleted the superfluous assumption A ~= B, which must hold anyway by induction | changeset | files |
| Tue, 22 Jul 1997 11:16:57 +0200 | paulson | Fixed the spelling of AUTH_NAMES--it could not have worked before\! | changeset | files |
| Tue, 22 Jul 1997 11:15:14 +0200 | paulson | Option is a synonym for General because MLWorks does not yet provide | changeset | files |