Mon, 03 Jul 1995 13:37:29 +0200 | clasohm | removed debugging output | changeset | files |
Mon, 03 Jul 1995 13:08:49 +0200 | clasohm | remove Old_HOL | changeset | files |
Mon, 03 Jul 1995 13:06:36 +0200 | clasohm | added comments; fixed a bug; reduced memory usage slightly | changeset | files |