| 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
|