ProgTutorial/Package/simple-keyword/ROOT.ML
2009-03-24 Christian Urban added infrastructure to generate the keyword file for simple_inductive
less more (0) tip