src/HOL/UNITY/Lift_prog.thy
2015-12-27 wenzelm 2015-12-27 discontinued ASCII replacement syntax <*>;
2015-07-23 wenzelm 2015-07-23 more symbols by default, without xsymbols mode;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2012-03-13 wenzelm 2012-03-13 tuned proofs;
2012-02-21 wenzelm 2012-02-21 tuned proofs;
2010-09-13 nipkow 2010-09-13 renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI
2010-09-07 nipkow 2010-09-07 expand_fun_eq -> ext_iff expand_set_eq -> set_ext_iff Naming in line now with multisets
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-07-11 oheimb 2003-07-11 added upd_fst, upd_snd, some thms
2003-02-27 paulson 2003-02-27 restored some deleted lemmas
2003-02-08 paulson 2003-02-08 converting HOL/UNITY to use unconditional fairness
2003-02-04 paulson 2003-02-04 some x-symbols
2003-01-31 paulson 2003-01-31 conversion to new-style theories and tidying
2003-01-29 paulson 2003-01-29 converting UNITY to new-style theories
2003-01-24 paulson 2003-01-24 More conversion of UNITY to Isar new-style theories
2001-10-05 wenzelm 2001-10-05 sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, "num" syntax (still with "#"), Numeral0, Numeral1;
2001-01-09 nipkow 2001-01-09 *** empty log message ***
2000-02-18 paulson 2000-02-18 New treatment of "guarantees" with polymorphic components and bijections. Works EXCEPT FOR Alloc.
2000-01-13 paulson 2000-01-13 working version, with Alloc now working on the same state space as the whole system. Partial removal of ELT.
1999-11-30 paulson 1999-11-30 working version with new theory ELT
1999-10-27 paulson 1999-10-27 working again; new treatment of LocalTo
1999-10-18 paulson 1999-10-18 exchanged the first two args of "project" and "drop_prog"
1999-10-18 paulson 1999-10-18 working version with localTo[C] instead of localTo
1999-10-04 paulson 1999-10-04 most results now refer to those for "extend"
1999-09-29 paulson 1999-09-29 working snapshot with new theory "Project"
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-06 paulson 1999-08-06 new theory UNITY/Lift_prog