src/HOL/UNITY/Reach.ML
1998-08-13 paulson 1998-08-13 Constrains, Stable, Invariant...more of the substitution axiom, but Union does not work well with them
1998-08-05 paulson 1998-08-05 New record type of programs
1998-08-04 paulson 1998-08-04 Constant "invariant" and new constrains_tac, ensures_tac
1998-07-31 paulson 1998-07-31 Tidied; uses records
1998-07-24 nipkow 1998-07-24 update -> fun_upd
1998-07-02 paulson 1998-07-02 Uncurried functions LeadsTo and reach Deleted leading parameters thanks to new Goal command
1998-06-23 nipkow 1998-06-23 Consequences of the change from [ := ] to ( := ) in theory Update.
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1998-05-05 paulson 1998-05-05 New syntax for function update; moved to main HOL directory
1998-04-03 paulson 1998-04-03 New UNITY theory