Thu, 07 Oct 1993 10:48:16 +0100 | lcp | added ~: for "not in" | changeset | files |
Thu, 07 Oct 1993 09:49:46 +0100 | lcp | examples now use ~= for "not equals" | changeset | files |
Thu, 07 Oct 1993 09:47:47 +0100 | lcp | ifol.thy: added ~= for "not equals" | changeset | files |
Wed, 06 Oct 1993 14:45:04 +0100 | clasohm | changed filenames to lower case name of theory the file contains | changeset | files |
Wed, 06 Oct 1993 14:21:36 +0100 | clasohm | rename list-fn to listfn | changeset | files |
Wed, 06 Oct 1993 14:19:39 +0100 | clasohm | changed "list-fn" to "listfn" | changeset | files |