| Thu, 23 Mar 1995 15:39:13 +0100 | clasohm | fixed bug: parent theory wasn't loaded if .thy file was completly read before | changeset | files |
| Wed, 22 Mar 1995 13:22:42 +0100 | clasohm | fixed bug: HOL_build_completed replaced by CHOL_build_completed | changeset | files |
| Wed, 22 Mar 1995 12:42:34 +0100 | clasohm | converted ex with curried function application | changeset | files |
| Tue, 21 Mar 1995 13:22:28 +0100 | clasohm | converted Subst with curried function application | changeset | files |
| Tue, 21 Mar 1995 13:21:48 +0100 | clasohm | changed syntax of Unity ("()" instead of "<>") | changeset | files |
| Mon, 20 Mar 1995 15:37:03 +0100 | clasohm | converted IOA with curried function application | changeset | files |
| Mon, 20 Mar 1995 15:35:28 +0100 | clasohm | changed syntax of "if" | changeset | files |