src/HOL/UNITY/ROOT.ML
Wed, 08 Oct 2008 19:20:29 +0200 wenzelm setmp_noncritical makes it work with future scheduler;
Fri, 03 Aug 2007 20:19:41 +0200 wenzelm misc cleanup of ML bindings (for multihreading);
Mon, 04 Dec 2006 00:06:59 +0100 wenzelm theory Alloc no longer works -- quick_and_dirty;
Tue, 23 Sep 2003 15:49:17 +0200 paulson conversion of NSP_Bad to Isar script
Mon, 10 Mar 2003 16:21:06 +0100 paulson New theory ProgressSets. Definition of closure sets
Tue, 18 Feb 2003 15:09:14 +0100 paulson new theory Transformers: Meier-Sanders non-interference theory
Wed, 29 Jan 2003 11:02:08 +0100 paulson converting UNITY to new-style theories
Fri, 24 Jan 2003 14:06:49 +0100 paulson Partial conversion of UNITY to Isar new-style theories
Mon, 05 Mar 2001 15:25:11 +0100 paulson reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp
Fri, 05 Jan 2001 10:15:48 +0100 paulson new examples by Sidi Ehmety
Wed, 18 Oct 2000 23:42:18 +0200 wenzelm use Multiset from HOL/Library;
Fri, 23 Jun 2000 10:34:51 +0200 paulson added the AllocImpl example
Tue, 30 May 2000 16:08:38 +0200 wenzelm cleaned up;
Fri, 26 May 2000 18:06:58 +0200 paulson fixed the dependences
Fri, 03 Mar 2000 18:26:19 +0100 paulson Added Tanja's Detects and Reachability theories. Also
Tue, 29 Feb 2000 10:57:30 +0100 paulson even Alloc works again, using "rename"
Fri, 18 Feb 2000 15:20:44 +0100 paulson New treatment of "guarantees" with polymorphic components and bijections.
Fri, 14 Jan 2000 12:17:53 +0100 paulson still working; a bit of polishing
Wed, 08 Sep 1999 15:37:31 +0200 paulson new example HOL/UNITY/TimerArray
Tue, 17 Aug 1999 22:14:08 +0200 wenzelm removed HOL_quantifiers;
Fri, 11 Jun 1999 10:34:20 +0200 paulson no longer needs ../Lex
Wed, 26 May 1999 10:15:03 +0200 paulson new theories Follows and ListOrder
Thu, 29 Apr 1999 10:51:58 +0200 paulson made many specification operators infix
Thu, 11 Mar 1999 13:20:35 +0100 wenzelm removed foo_build_completed -- now handled by session management (via usedir);
Wed, 03 Mar 1999 10:50:42 +0100 paulson UNITY fully working at last...
Mon, 01 Mar 1999 18:38:43 +0100 paulson removed the infernal States, eqStates, compatible, etc.
Wed, 03 Feb 1999 17:34:27 +0100 wenzelm add_path / reset_path;
Thu, 03 Dec 1998 10:45:06 +0100 paulson Addition of the States component; parts of Comp not working
Mon, 16 Nov 1998 13:58:56 +0100 paulson new theory PPROD
Thu, 15 Oct 1998 11:35:07 +0200 paulson specifications as sets of programs
Tue, 13 Oct 1998 10:50:56 +0200 paulson Addition of HOL/UNITY/Client
Wed, 07 Oct 1998 10:32:00 +0200 paulson tidying and renaming
Mon, 07 Sep 1998 10:43:31 +0200 paulson New UNITY theory, the N-S protocol
Thu, 20 Aug 1998 17:43:01 +0200 paulson New theory Lift
Wed, 05 Aug 1998 10:57:25 +0200 paulson New record type of programs
Fri, 03 Apr 1998 12:34:33 +0200 paulson New UNITY theory
less more (0) tip