src/HOL/Library/Library/ROOT.ML
author chaieb
Mon Jun 11 11:06:04 2007 +0200 (2007-06-11)
changeset 23315 df3a7e9ebadb
parent 22359 94a794672c8b
child 24104 719fbe4fb77f
permissions -rw-r--r--
tuned Proof
     1 (* $Id$ *)
     2 
     3 use_thy "Library";
     4 use_thy "List_Prefix";
     5 use_thy "List_lexord";
     6 use_thy "SCT_Examples";