src/HOL/Library/ROOT.ML
author wenzelm
Wed, 18 Oct 2000 23:31:16 +0200
changeset 10253 73b46b18c348
child 10984 8f49dcbec859
permissions -rw-r--r--
"The Supplemental Isabelle/HOL Library";
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
10253
73b46b18c348 "The Supplemental Isabelle/HOL Library";
wenzelm
parents:
diff changeset
     1
73b46b18c348 "The Supplemental Isabelle/HOL Library";
wenzelm
parents:
diff changeset
     2
use_thy "Library";