Nominal/ROOT.ML
author Christian Urban <urbanc@in.tum.de>
Sun, 11 Apr 2010 22:47:45 +0200 (2010-04-11)
changeset 1809 08e4d3cbcf8c
parent 1797 fddb470720f1
child 1911 60b5c61d3de2
permissions -rw-r--r--
folded changes from the conference version
quick_and_dirty := true;

no_document use_thys
   ["Ex/Lambda",
    "Ex/ExLF",
    "Ex/Ex1",
    "Ex/Ex1rec",
    "Ex/Ex2",
    "Ex/Ex3",
    "Ex/ExLet",
    "Ex/ExLetRec",
    "Ex/TypeSchemes",
    "Ex/ExLeroy",
    "Ex/ExPS3",
    "Ex/ExPS7",
    "Ex/ExCoreHaskell",
    "Ex/Test"
(*  "Ex/ExPS6", *)
    ];