| Sun, 13 Jun 1999 13:55:28 +0200 |
paulson |
many new results for reachable and lift_prog
|
file |
diff |
annotate
|
| Mon, 17 May 1999 10:38:08 +0200 |
paulson |
"component" now an infix
|
file |
diff |
annotate
|
| Tue, 04 May 1999 13:47:28 +0200 |
paulson |
new definitions of Co and LeadsTo
|
file |
diff |
annotate
|
| Thu, 29 Apr 1999 10:51:58 +0200 |
paulson |
made many specification operators infix
|
file |
diff |
annotate
|
| Tue, 20 Apr 1999 14:32:48 +0200 |
paulson |
tidied
|
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
|
| Mon, 07 Dec 1998 18:26:46 +0100 |
paulson |
towards handling sharing of variables
|
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
|
| Wed, 25 Nov 1998 15:55:00 +0100 |
paulson |
guarantees laws
|
file |
diff |
annotate
|
| Mon, 16 Nov 1998 13:58:56 +0100 |
paulson |
new theory PPROD
|
file |
diff |
annotate
|