src/HOL/Library/ROOT.ML
author nipkow
Fri Jan 26 15:50:52 2001 +0100 (2001-01-26)
changeset 10984 8f49dcbec859
parent 10253 73b46b18c348
child 11056 32a98609ce92
permissions -rw-r--r--
Merged Example into While_Combi
     1 use_thy "Library";