Fri, 24 Mar 1995 12:30:35 +0100 | clasohm | changed syntax of tuples from <..., ...> to (..., ...) | changeset | files |
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 |