diff options
author | Makarius Wenzel <makarius@sketis.net> | 1999-08-19 19:22:36 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 1999-08-19 19:22:36 +0000 |
commit | 0d3d489edff3a7659d2bdfc0e0b2dcaf27db6d59 (patch) | |
tree | df69411fa8ba68ddd381033417be25292110d9ac /etc/isa | |
parent | 2e219f2b0015e8413d09563d2ff9187636eceec1 (diff) |
based on Pure rather than Main (which didn't work because of Pure/CPure clash);
Diffstat (limited to 'etc/isa')
-rw-r--r-- | etc/isa/multiple/A.thy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/isa/multiple/A.thy b/etc/isa/multiple/A.thy index b9e72899..fc585327 100644 --- a/etc/isa/multiple/A.thy +++ b/etc/isa/multiple/A.thy @@ -4,4 +4,4 @@ Logic Image: Pure *) -A = Main +A = Pure |