src/HOL/Prolog/ROOT.ML
author oheimb
Wed Jan 31 10:15:55 2001 +0100 (2001-01-31)
changeset 11008 f7333f055ef6
parent 9015 8006e9009621
child 13208 965f95a3abd9
permissions -rw-r--r--
improved theory reference in comment
     1 use_thy"Test";
     2 use_thy"Type";