Sat, 01 Nov 1997 13:01:07 +0100 | paulson | New way of referring to Basis Library | changeset | files |
Sat, 01 Nov 1997 13:00:31 +0100 | paulson | mended type constraint\! | changeset | files |
Sat, 01 Nov 1997 13:00:03 +0100 | paulson | Set.thy was too specific | changeset | files |