1.1 --- a/src/Tools/isac/Build_Isac.thy Sun Apr 18 16:30:11 2021 +0200
1.2 +++ b/src/Tools/isac/Build_Isac.thy Sun Apr 18 18:30:31 2021 +0200
1.3 @@ -228,7 +228,7 @@
1.4 unsatisfactory with respect to logical soundness.
1.5 Since Isabelle now has started to care about floating point numbers, it is high
1.6 time to adopt these together with the other numerals. Isabelle2012/13's numerals
1.7 - are different from Isabelle2011, see "$ISABELLE_ISAC_TEST/ProgLang/termC.sml".
1.8 + are different from Isabelle2011, see "$ISABELLE_ISAC_TEST/Tools/isac/ProgLang/termC.sml".
1.9
1.10 The transition from "Free" to standard numerals is a task to be scheduled for
1.11 several weeks. The urgency of this task follows from the experience,