ProgTutorial/Recipes/Introspection.thy
2012-06-20 Christian Urban moved the introspection part into the theorem section
2012-06-19 Christian Urban polished
2012-06-19 Christian Urban polished introspection section
2012-06-19 Christian Urban added a new recipe for introspecting theorems (suggested by Lukas and Rafal)
less more (0) tip