/ProgTutorial/Recipes/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-29 11:00 +0100 6623 Antiquotes.thy
-rw-r--r-- 2010-10-29 11:00 +0100 5423 CallML.thy
-rw-r--r-- 2010-10-29 11:00 +0100 1826 ExternalSolver.thy
-rw-r--r-- 2010-10-29 11:00 +0100 4820 Oracle.thy
-rw-r--r-- 2010-10-29 11:00 +0100 4511 Sat.thy
-rw-r--r-- 2010-10-29 11:00 +0100 1484 TimeLimit.thy
-rw-r--r-- 2010-10-29 11:00 +0100 2155 Timing.thy
-rw-r--r-- 2010-10-29 11:00 +0100 103 USTypes.thy
-rw-r--r-- 2010-10-29 11:00 +0100 1257 external_solver.ML