Thu, 02 Mar 2000 18:18:10 +0100 | wenzelm | added freeze_all; | changeset | files |
Thu, 02 Mar 2000 10:29:29 +0100 | paulson | polished version of the Allocator using Rename | changeset | files |
Thu, 02 Mar 2000 10:26:22 +0100 | paulson | tidied the proofs of singleton_insert_inj_eq, singleton_insert_inj_eq' and | changeset | files |