| Tue, 24 Sep 2013 17:28:23 +0200 | blanchet | more (co)data docs | changeset | files |
| Tue, 24 Sep 2013 17:06:06 +0200 | blanchet | improved rail diagram | changeset | files |
| Tue, 24 Sep 2013 16:59:14 +0200 | blanchet | use "primcorec" in example | changeset | files |
| Tue, 24 Sep 2013 16:55:29 +0200 | blanchet | use "primcorec" in doc | changeset | files |
| Tue, 24 Sep 2013 16:54:50 +0200 | blanchet | updated keywords | changeset | files |
| Tue, 24 Sep 2013 16:21:04 +0200 | blanchet | updated certificates | changeset | files |
| Tue, 24 Sep 2013 16:21:03 +0200 | blanchet | when "max_thm_instances" is hit, choose more carefully which instances should be kept | changeset | files |
| Tue, 24 Sep 2013 15:16:59 +0200 | panny | add "primcorec" command (cf. ae7f50e70c09) | changeset | files |
| Tue, 24 Sep 2013 14:07:23 +0200 | nipkow | merged | changeset | files |
| Tue, 24 Sep 2013 13:35:27 +0200 | nipkow | added lemmas | changeset | files |
| Tue, 24 Sep 2013 12:11:53 +0200 | blanchet | honor MaSh's zero-overhead policy -- no learning if the tool is disabled | changeset | files |
| Tue, 24 Sep 2013 11:57:43 +0200 | blanchet | adapted to reflect renaming of session | changeset | files |
| Tue, 24 Sep 2013 11:33:56 +0200 | Andreas Lochbihler | merged | changeset | files |
| Tue, 24 Sep 2013 10:35:37 +0200 | Andreas Lochbihler | make measure_of total | changeset | files |
| Tue, 24 Sep 2013 11:02:42 +0200 | blanchet | encode goal digest in spying log (to detect duplicates) | changeset | files |
| Tue, 24 Sep 2013 09:12:09 +0200 | blanchet | made SML/NJ happy | changeset | files |