| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | minimized Nitpick's dependencies | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | moved BNF examples | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | rationalized dependencies | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | moved hide_const from BNF to Main | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | updated README | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuned names | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuning | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | compile | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | killed obsolete session | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuned comment | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | made BNF compile after move to HOL | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | adjusted comments | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | avoid nested 'Tools' directories | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | tuned comments | changeset | files |
| Mon, 20 Jan 2014 18:24:56 +0100 | blanchet | moved BNF files to 'HOL' | changeset | files |
| Mon, 20 Jan 2014 18:24:55 +0100 | blanchet | kill notations | changeset | files |
| Mon, 20 Jan 2014 18:24:55 +0100 | blanchet | renamed '_FP' files to 'BNF_' files | changeset | files |
| Mon, 20 Jan 2014 18:24:55 +0100 | blanchet | tuning | changeset | files |
| Mon, 20 Jan 2014 18:24:55 +0100 | blanchet | moved subset of 'HOL-Cardinals' needed for BNF into 'HOL' | changeset | files |
| Mon, 20 Jan 2014 16:14:19 +0100 | nipkow | tuned names | changeset | files |
| Mon, 20 Jan 2014 12:20:23 +0100 | hoelzl | spelling | changeset | files |
| Mon, 20 Jan 2014 10:07:07 +0100 | blanchet | killed obsolete provers from documentation | changeset | files |
| Sun, 19 Jan 2014 23:02:00 +0100 | boehmes | merged | changeset | files |
| Sun, 19 Jan 2014 22:38:17 +0100 | boehmes | removed obsolete remote_cvc3 and remote_z3 | changeset | files |