src/HOL/UNITY/Comp.ML
1999-05-17 paulson 1999-05-17 "component" now an infix
1999-03-03 paulson 1999-03-03 UNITY fully working at last...
1999-03-01 paulson 1999-03-01 removed the infernal States, eqStates, compatible, etc.
1998-12-07 paulson 1998-12-07 expandshort
1998-12-03 paulson 1998-12-03 Addition of the States component; parts of Comp not working
1998-11-25 paulson 1998-11-25 renamed vars
1998-11-06 paulson 1998-11-06 Revising the Client proof as suggested by Michel Charpentier. New lemmas about composition (in Union.ML), etc. Also changed "length" to "size" because it is displayed as "size" in any event.
1998-10-21 wenzelm 1998-10-21 record_split_name;
1998-10-20 wenzelm 1998-10-20 delSWrapper "record_split_tac";
1998-10-19 paulson 1998-10-19 moved a theorem
1998-10-13 paulson 1998-10-13 new rule
1998-10-09 paulson 1998-10-09 new guarantees laws
1998-10-07 paulson 1998-10-07 tidying and renaming
1998-10-05 paulson 1998-10-05 Finished proofs to end of section 5.1 of Chandy and Sanders
1998-10-01 paulson 1998-10-01 composition theory