src/HOL/UNITY/Lift_prog.ML
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-10-04 paulson 1999-10-04 most results now refer to those for "extend"
1999-09-21 paulson 1999-09-21 new proof of drop_prog_correct for new definition of project_act
1999-09-10 paulson 1999-09-10 working snapshot
1999-09-08 paulson 1999-09-08 more rational theorem names (?)
1999-09-07 wenzelm 1999-09-07 isatool expandshort;
1999-09-06 paulson 1999-09-06 working snapshot
1999-08-31 paulson 1999-08-31 changed "component" infix in HOL/UNITY/Comp.thy to be overloaded <
1999-08-26 paulson 1999-08-26 changed "guar" back to "guarantees" (sorry)
1999-08-25 paulson 1999-08-25 renamed some theorems; also better natural deduction style for old ones
1999-08-06 paulson 1999-08-06 new theory UNITY/Lift_prog