Fri, 23 Oct 1998 22:36:15 +0200 | berghofe | Added theorems True_not_False and False_not_True | changeset | files |
Fri, 23 Oct 1998 22:34:18 +0200 | berghofe | unit and bool are now represented as datatypes. | changeset | files |
Fri, 23 Oct 1998 20:44:34 +0200 | oheimb | corrected auto_tac (applications of unsafe wrappers) | changeset | files |