diff options
| -rw-r--r-- | etc/isa/multiple/README | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/isa/multiple/README b/etc/isa/multiple/README index 0ea75fcc..31b43da4 100644 --- a/etc/isa/multiple/README +++ b/etc/isa/multiple/README @@ -44,8 +44,8 @@ to ML files of autoloaded children. 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* +3) retract thy EFFECT: ML thy + 1) visit example.ML, example.thy ML thy 2) assert thy ML thy* (29.10.98: works, but |