CookBook/Recipes/Oracle.thy
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
less more (0) tip