src/HOL/UNITY/ROOT.ML
2009-11-11 wenzelm 2009-11-11 uniform use of simultabeous use_thys;
2009-09-21 haftmann 2009-09-21 entry point theory for examples; reactivated half-dead example
2008-11-20 wenzelm 2008-11-20 reactivated some dead theories (based on hints by Mark Hillebrand);
2008-10-08 wenzelm 2008-10-08 setmp_noncritical makes it work with future scheduler;
2007-08-03 wenzelm 2007-08-03 misc cleanup of ML bindings (for multihreading);
2006-12-04 wenzelm 2006-12-04 theory Alloc no longer works -- quick_and_dirty;
2003-09-23 paulson 2003-09-23 conversion of NSP_Bad to Isar script
2003-03-10 paulson 2003-03-10 New theory ProgressSets. Definition of closure sets
2003-02-18 paulson 2003-02-18 new theory Transformers: Meier-Sanders non-interference theory
2003-01-29 paulson 2003-01-29 converting UNITY to new-style theories
2003-01-24 paulson 2003-01-24 Partial conversion of UNITY to Isar new-style theories
2001-03-05 paulson 2001-03-05 reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
2001-01-05 paulson 2001-01-05 new examples by Sidi Ehmety
2000-10-18 wenzelm 2000-10-18 use Multiset from HOL/Library;
2000-06-23 paulson 2000-06-23 added the AllocImpl example
2000-05-30 wenzelm 2000-05-30 cleaned up;
2000-05-26 paulson 2000-05-26 fixed the dependences
2000-03-03 paulson 2000-03-03 Added Tanja's Detects and Reachability theories. Also changed object-quantifiers to meta-quantifiers in ball_constrains_UN/INT...
2000-02-29 paulson 2000-02-29 even Alloc works again, using "rename"
2000-02-18 paulson 2000-02-18 New treatment of "guarantees" with polymorphic components and bijections. Works EXCEPT FOR Alloc.
2000-01-14 paulson 2000-01-14 still working; a bit of polishing
1999-09-08 paulson 1999-09-08 new example HOL/UNITY/TimerArray
1999-08-17 wenzelm 1999-08-17 removed HOL_quantifiers;
1999-06-11 paulson 1999-06-11 no longer needs ../Lex
1999-05-26 paulson 1999-05-26 new theories Follows and ListOrder
1999-04-29 paulson 1999-04-29 made many specification operators infix
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
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.
1999-02-03 wenzelm 1999-02-03 add_path / reset_path;
1998-12-03 paulson 1998-12-03 Addition of the States component; parts of Comp not working
1998-11-16 paulson 1998-11-16 new theory PPROD
1998-10-15 paulson 1998-10-15 specifications as sets of programs
1998-10-13 paulson 1998-10-13 Addition of HOL/UNITY/Client
1998-10-07 paulson 1998-10-07 tidying and renaming
1998-09-07 paulson 1998-09-07 New UNITY theory, the N-S protocol
1998-08-20 paulson 1998-08-20 New theory Lift
1998-08-05 paulson 1998-08-05 New record type of programs
1998-04-03 paulson 1998-04-03 New UNITY theory