| Wed, 21 Oct 1998 13:29:01 +0200 |
wenzelm |
record_split_name;
|
file |
diff |
annotate
|
| Tue, 20 Oct 1998 17:27:00 +0200 |
wenzelm |
delSWrapper "record_split_tac";
|
file |
diff |
annotate
|
| Thu, 15 Oct 1998 11:35:07 +0200 |
paulson |
specifications as sets of programs
|
file |
diff |
annotate
|
| Mon, 05 Oct 1998 10:22:49 +0200 |
paulson |
Join now an infix operator
|
file |
diff |
annotate
|
| Tue, 29 Sep 1998 15:58:47 +0200 |
paulson |
Now id:(Acts prg) is implicit
|
file |
diff |
annotate
|
| Thu, 03 Sep 1998 16:40:02 +0200 |
paulson |
A new approach, using simp_of_act and simp_of_set to activate definitions when
|
file |
diff |
annotate
|
| Wed, 19 Aug 1998 10:34:31 +0200 |
paulson |
Misc changes
|
file |
diff |
annotate
|
| Fri, 14 Aug 1998 13:52:42 +0200 |
paulson |
now trans_tac is part of the claset...
|
file |
diff |
annotate
|
| Thu, 13 Aug 1998 18:06:40 +0200 |
paulson |
Constrains, Stable, Invariant...more of the substitution axiom, but Union
|
file |
diff |
annotate
|
| Thu, 06 Aug 1998 15:47:26 +0200 |
paulson |
A higher-level treatment of LeadsTo, minimizing use of "reachable"
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 18:21:09 +0200 |
paulson |
Finished the example
|
file |
diff |
annotate
|
| Wed, 05 Aug 1998 10:56:58 +0200 |
paulson |
Union primitives and examples
|
file |
diff |
annotate
|