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