Fri, 18 Sep 1998 16:07:55 +0200 | paulson | leaves subgoal package empty | changeset | files |
Fri, 18 Sep 1998 16:05:08 +0200 | paulson | improved (but still flawed) treatment of binary arithmetic | changeset | files |
Fri, 18 Sep 1998 16:04:44 +0200 | paulson | Now defines "int" as a linear order; basic derivations moved to IntDef | changeset | files |