https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/ en-us isabelle-cookbook: ProgTutorial/Package/IsaMakefile history ProgTutorial/Package/IsaMakefile revision history added infrastructure to generate the keyword file for simple_inductive https://cflmark.nms.kcl.ac.uk/hg/isabelle-cookbook/log/f8d4393d6fdd/ProgTutorial/Package/IsaMakefile Christian Urban <urbanc@in.tum.de> Tue, 24 Mar 2009 09:28:52 +0100