| Tue, 09 Jan 2001 15:32:27 +0100 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|
| Sat, 23 Sep 2000 16:02:01 +0200 |
paulson |
added compatibility relation: AllowedActs, Allowed, ok,
|
file |
diff |
annotate
|
| Wed, 24 May 2000 18:40:01 +0200 |
paulson |
restructuring: LessThan.ML mostly moved to HOL/SetInterval.ML
|
file |
diff |
annotate
|
| Thu, 13 Apr 2000 15:01:50 +0200 |
nipkow |
Times -> <*>
|
file |
diff |
annotate
|
| Mon, 18 Oct 1999 16:16:03 +0200 |
paulson |
exchanged the first two args of "project" and "drop_prog"
|
file |
diff |
annotate
|
| Mon, 18 Oct 1999 15:18:24 +0200 |
paulson |
working version with localTo[C] instead of localTo
|
file |
diff |
annotate
|
| Mon, 11 Oct 1999 10:53:39 +0200 |
paulson |
working shapshot with "projecting" and "extending"
|
file |
diff |
annotate
|
| Tue, 21 Sep 1999 11:09:24 +0200 |
paulson |
project_act no longer has a special case to allow identity actions
|
file |
diff |
annotate
|
| Fri, 10 Sep 1999 18:40:06 +0200 |
paulson |
working snapshot
|
file |
diff |
annotate
|
| Mon, 06 Sep 1999 10:52:26 +0200 |
paulson |
working snapshot
|
file |
diff |
annotate
|
| Tue, 31 Aug 1999 15:56:56 +0200 |
paulson |
changed "component" infix in HOL/UNITY/Comp.thy to be overloaded <
|
file |
diff |
annotate
|
| Fri, 27 Aug 1999 15:46:58 +0200 |
paulson |
use of bij, new theorems, etc.
|
file |
diff |
annotate
|
| Wed, 25 Aug 1999 10:58:08 +0200 |
paulson |
project constants
|
file |
diff |
annotate
|
| Fri, 21 May 1999 10:58:47 +0200 |
paulson |
made definition more readable
|
file |
diff |
annotate
|
| Wed, 03 Mar 1999 10:32:35 +0100 |
paulson |
new theory of extending the state space
|
file |
diff |
annotate
|