src/HOL/UNITY/Extend.thy
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-09-21 paulson 1999-09-21 project_act no longer has a special case to allow identity actions
1999-09-10 paulson 1999-09-10 working snapshot
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-27 paulson 1999-08-27 use of bij, new theorems, etc.
1999-08-25 paulson 1999-08-25 project constants
1999-05-21 paulson 1999-05-21 made definition more readable
1999-03-03 paulson 1999-03-03 new theory of extending the state space