Nominal/ROOT.ML
author Cezary Kaliszyk <kaliszyk@in.tum.de>
Tue, 04 May 2010 16:29:11 +0200
changeset 2053 58e13de342a5
parent 1911 60b5c61d3de2
child 2062 65bdcc42badd
permissions -rw-r--r--
ExPS3 in NewParser

quick_and_dirty := true;

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