| Tue, 01 Oct 2013 14:13:24 +0200 | blanchet | got rid of dead feature | changeset | files |
| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | refactoring -- splitting between constructor sugar dependencies and true BNF dependencies | changeset | files |
| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | renamed ML files | changeset | files |
| Tue, 01 Oct 2013 14:05:25 +0200 | blanchet | renamed theory file | changeset | files |
| Tue, 01 Oct 2013 12:53:24 +0200 | wenzelm | tuned signature -- facilitate experimentation with other processes; | changeset | files |
| Mon, 30 Sep 2013 22:01:46 +0900 | Christian Sternagel | preserve types during rewriting | changeset | files |
| Mon, 30 Sep 2013 22:36:43 +0200 | blanchet | made SML/NJ happy | changeset | files |
| Mon, 30 Sep 2013 18:08:35 +0200 | blanchet | made SML/NJ happy | changeset | files |
| Mon, 30 Sep 2013 17:53:44 +0200 | blanchet | made SML/NJ happier | changeset | files |
| Mon, 30 Sep 2013 17:47:50 +0200 | blanchet | added experimental configuration options to tune use of builtin symbols in SMT | changeset | files |
| Mon, 30 Sep 2013 16:28:54 +0200 | blanchet | added possibility to reset builtins (for experimentation) | changeset | files |
| Mon, 30 Sep 2013 16:07:56 +0200 | blanchet | just one data slot (record) per program unit | changeset | files |
| Mon, 30 Sep 2013 15:10:18 +0200 | blanchet | more "primrec_new" documentation | changeset | files |
| Mon, 30 Sep 2013 14:19:33 +0200 | wenzelm | merged | changeset | files |
| Mon, 30 Sep 2013 14:17:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 30 Sep 2013 13:45:17 +0200 | wenzelm | eliminated clone of Inductive.mk_cases_tac; | changeset | files |
| Mon, 30 Sep 2013 13:35:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 30 Sep 2013 13:29:09 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Mon, 30 Sep 2013 13:20:44 +0200 | wenzelm | provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl); | changeset | files |
| Mon, 30 Sep 2013 14:04:26 +0200 | blanchet | merge | changeset | files |
| Mon, 30 Sep 2013 13:59:07 +0200 | blanchet | minor tweak to error message | changeset | files |
| Mon, 30 Sep 2013 11:20:24 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Sep 2013 18:51:01 +0200 | wenzelm | explicit caret position after replacement; | changeset | files |
| Sun, 29 Sep 2013 16:01:22 +0200 | haftmann | tuned proofs | changeset | files |
| Sun, 29 Sep 2013 14:07:47 +0200 | wenzelm | observe user preferences; | changeset | files |
| Sun, 29 Sep 2013 13:53:16 +0200 | wenzelm | updated for release; | changeset | files |
| Sun, 29 Sep 2013 12:56:50 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 29 Sep 2013 12:49:47 +0200 | wenzelm | tuned; | changeset | files |