CookBook/Recipes/ExternalSolver.thy
2009-02-15 Christian Urban some polishing; split up the file External Solver into two
2009-02-14 Christian Urban added an acknowledgement section
2009-02-07 Christian Urban general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
2009-01-30 boehmes rewrote recipes describing external solvers
2009-01-27 Christian Urban fixed typos
2009-01-26 Christian Urban polished
2009-01-26 Christian Urban some tuning
2009-01-07 boehmes Added four recipes.
less more (0) tip