diff options
| author | Makarius Wenzel | 1999-08-19 19:22:36 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-08-19 19:22:36 +0000 |
| commit | 0d3d489edff3a7659d2bdfc0e0b2dcaf27db6d59 (patch) | |
| tree | df69411fa8ba68ddd381033417be25292110d9ac /etc | |
| parent | 2e219f2b0015e8413d09563d2ff9187636eceec1 (diff) | |
based on Pure rather than Main (which didn't work because of Pure/CPure clash);
Diffstat (limited to 'etc')
| -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 |