src/HOL/Library/ROOT.ML
author oheimb
Wed Jan 31 10:15:55 2001 +0100 (2001-01-31)
changeset 11008 f7333f055ef6
parent 10984 8f49dcbec859
child 11056 32a98609ce92
permissions -rw-r--r--
improved theory reference in comment
     1 use_thy "Library";