ProgTutorial/Recipes/Oracle.thy
Fri, 27 Mar 2009 12:49:28 +0000 Christian Urban more work on simple inductive and marked all sections that are still seriously incomplete with TBD
less more (0) tip