src/HOL/Library/ROOT.ML
author wenzelm
Fri, 03 Nov 2000 21:35:59 +0100
changeset 10390 1d54567bed24
parent 10253 73b46b18c348
child 10984 8f49dcbec859
permissions -rw-r--r--
tuned;


use_thy "Library";