diff options
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 |