src/HOL/UNITY/Lift.thy
1998-11-18 paulson 1998-11-18 Finally removing "Compl" from HOL
1998-10-01 paulson 1998-10-01 abstype of programs
1998-09-29 paulson 1998-09-29 Now id:(Acts prg) is implicit
1998-09-25 paulson 1998-09-25 Now uses integers instead of naturals
1998-09-03 paulson 1998-09-03 A new approach, using simp_of_act and simp_of_set to activate definitions when necessary
1998-08-20 paulson 1998-08-20 New theory Lift
1998-08-19 paulson 1998-08-19 Misc changes
1998-08-14 paulson 1998-08-14 now trans_tac is part of the claset...
1998-08-06 paulson 1998-08-06 A higher-level treatment of LeadsTo, minimizing use of "reachable"