src/HOL/UNITY/Client.ML
1999-10-11 paulson 1999-10-11 working shapshot with "projecting" and "extending"
1999-09-24 paulson 1999-09-24 working version with co-guarantees-leadsto results
1999-09-10 paulson 1999-09-10 working snapshot
1999-08-26 paulson 1999-08-26 changed "guar" back to "guarantees" (sorry)
1999-08-05 wenzelm 1999-08-05 removed obsolete addsimps update_defs;
1999-06-13 paulson 1999-06-13 guarantees -> juar
1999-05-24 paulson 1999-05-24 now uses mono_Increasing_o
1999-05-04 paulson 1999-05-04 Invariant -> Always and other tidying
1999-04-29 paulson 1999-04-29 made many specification operators infix
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-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-23 oheimb 1998-10-23 corrected auto_tac (applications of unsafe wrappers)
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 fixed comment
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-10-13 paulson 1998-10-13 Addition of HOL/UNITY/Client