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