From 0d3d489edff3a7659d2bdfc0e0b2dcaf27db6d59 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 19 Aug 1999 19:22:36 +0000
Subject: based on Pure rather than Main (which didn't work because of
 Pure/CPure clash);

---
 etc/isa/multiple/A.thy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3