src/HOL/Library/ROOT.ML
author wenzelm
Wed Oct 18 23:31:16 2000 +0200 (2000-10-18)
changeset 10253 73b46b18c348
child 10984 8f49dcbec859
permissions -rw-r--r--
"The Supplemental Isabelle/HOL Library";
     1 
     2 use_thy "Library";