src/HOL/UNITY/Project.ML
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-10-04 paulson 1999-10-04 working snapshot (even Alloc)
1999-09-30 paulson 1999-09-30 now with (weak safety) guarantees (weak progress) with Extend
1999-09-29 paulson 1999-09-29 working snapshot with new theory "Project"