| 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 |
| Wed, 25 Aug 2010 11:13:27 +0200 | wenzelm | tuned raw Sidekick output; | changeset | files |
| Tue, 24 Aug 2010 23:49:07 +0200 | wenzelm | Text.Range.is_singleton; | changeset | files |
| Tue, 24 Aug 2010 21:34:38 +0200 | wenzelm | Markup_Tree.+: new info tends to sink to bottom, where it is prefered by select; | changeset | files |