Mon, 29 Nov 1993 12:00:57 +0100 | wenzelm | improved comments; | changeset | files |
Mon, 29 Nov 1993 11:08:17 +0100 | wenzelm | added equal, not_equal: ''a -> ''a -> bool | changeset | files |
Fri, 26 Nov 1993 16:35:38 +0100 | lcp | Minor edits to discussion of use_thy | changeset | files |