| Thu, 12 Nov 2009 09:11:06 +0100 | bulwahn | added another example to the predicate compiler | changeset | files |
| Thu, 12 Nov 2009 09:10:42 +0100 | bulwahn | changed modes to expected_modes; added UNION to code_pred_inlining; fixed some examples; tuned | changeset | files |
| Thu, 12 Nov 2009 09:10:37 +0100 | bulwahn | removed dummy setup for predicate compiler commands as the compiler is now part of HOL-Main | changeset | files |