| Wed, 15 Aug 2007 15:06:58 +0200 | paulson | combining the relevance filter with res_atp | changeset | files |
| Wed, 15 Aug 2007 13:50:47 +0200 | paulson | combining the relevance filter with res_atp | changeset | files |
| Wed, 15 Aug 2007 12:52:56 +0200 | paulson | ATP blacklisting is now in theory data, attribute noatp | changeset | files |
| Wed, 15 Aug 2007 09:02:11 +0200 | haftmann | added Code_Setup | changeset | files |
| Wed, 15 Aug 2007 08:57:45 +0200 | haftmann | fixed OCaml bug | changeset | files |
| Wed, 15 Aug 2007 08:57:42 +0200 | haftmann | tuned | changeset | files |
| Wed, 15 Aug 2007 08:57:41 +0200 | haftmann | extended | changeset | files |
| Wed, 15 Aug 2007 08:57:40 +0200 | haftmann | added Eval_Witness theory | changeset | files |
| Wed, 15 Aug 2007 08:57:39 +0200 | haftmann | updated code generator setup | changeset | files |
| Wed, 15 Aug 2007 08:57:38 +0200 | haftmann | updated | changeset | files |
| Tue, 14 Aug 2007 23:23:09 +0200 | wenzelm | renamed standard_read_XXX to standard_parse_XXX; | changeset | files |
| Tue, 14 Aug 2007 23:23:06 +0200 | wenzelm | added implicit type mode (cf. Type.mode); | changeset | files |
| Tue, 14 Aug 2007 23:23:04 +0200 | wenzelm | Syntax.global_read_sort; | changeset | files |
| Tue, 14 Aug 2007 23:23:00 +0200 | wenzelm | infer_types: depend on Type.mode; | changeset | files |