| Wed, 06 Sep 1995 15:11:19 +0200 | clasohm | added enum2 and list2 | changeset | files |
| Tue, 05 Sep 1995 18:52:42 +0200 | paulson | Removed duplicate copy of converse_Un | changeset | files |
| Fri, 01 Sep 1995 14:27:36 +0200 | wenzelm | Various axiomatic type class demos; | changeset | files |
| Fri, 01 Sep 1995 14:26:26 +0200 | wenzelm | the NatClass demo of the axclass tutorial; | changeset | files |
| Fri, 01 Sep 1995 14:25:52 +0200 | clasohm | fixed bug: duplicate "duplicate" warnings | changeset | files |
| Fri, 01 Sep 1995 13:51:49 +0200 | clasohm | restored old invocation of use_string till I can make the new version work | changeset | files |
| Fri, 01 Sep 1995 13:32:13 +0200 | clasohm | added global simpset | changeset | files |
| Fri, 01 Sep 1995 13:28:54 +0200 | clasohm | added cleanup of global simpset to thy_read; | changeset | files |