From d607ce5cfd26922bea0ef61666805e4817cf3516 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Oct 1998 18:47:39 +0000
Subject: More notes

---
 etc/isa/multiple/README | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README
index 4cd5aa71..0ea75fcc 100644
--- a/etc/isa/multiple/README
+++ b/etc/isa/multiple/README
@@ -42,11 +42,16 @@ Because of theory loader's odd behaviour, must watch what happens
 to ML files of autoloaded children.
 
 
-1) visit example.ML, example.thy       EFFECT: ML
+1) visit example.ML, example.thy       EFFECT: ML thy
 2) assert .ML			       EFFECT: ML* thy*
 3) retract thy			       EFFECT: ML thy     (29.10.98 BREAKS!)
 							    get ML*
 
+1) visit example.ML, example.thy       ML thy
+2) assert thy			       ML thy*  (29.10.98: works, but 
+						 example.ML is on included
+						 files list: Isabelle problem)
+
 
 
 
-- 
cgit v1.2.3