CookBook/Recipes/Oracle.thy
2009-03-01 Christian Urban updated to repository version; added a section about timing
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
less more (0) tip