| Mon, 23 Aug 2010 11:51:32 +0200 | haftmann | added static_eval_conv | changeset | files |
| Mon, 23 Aug 2010 11:09:49 +0200 | haftmann | refined and unified naming convention for dynamic code evaluation techniques | changeset | files |
| Mon, 23 Aug 2010 11:09:48 +0200 | haftmann | tap_thy conversional | changeset | files |
| Mon, 23 Aug 2010 11:09:48 +0200 | haftmann | dropped now obsolete purge_data -- happens implicitly on change of theory identity | changeset | files |
| Tue, 24 Aug 2010 08:22:17 +0200 | bulwahn | merged | changeset | files |
| Mon, 23 Aug 2010 16:47:57 +0200 | bulwahn | introducing simplification equations for inductive sets; added data structure for storing equations; rewriting retrieval of simplification equation for inductive predicates and sets | changeset | files |
| Mon, 23 Aug 2010 16:47:55 +0200 | bulwahn | added support for xsymbol syntax for mode annotations in code_pred command | changeset | files |