src/HOL/Library/ROOT.ML
author wenzelm
Sun Feb 04 19:43:32 2001 +0100 (2001-02-04)
changeset 11056 32a98609ce92
parent 10984 8f49dcbec859
child 11349 fcb507c945c3
permissions -rw-r--r--
tuned
     1 
     2 use_thy "Library";