| Wed, 17 Oct 2012 00:16:31 +0200 | kuncar | don't be so aggressive when expanding a transfer rule relation; rewrite only the relational part of the rule | changeset | files |
| Tue, 16 Oct 2012 22:38:34 +0200 | wenzelm | merged | changeset | files |
| Tue, 16 Oct 2012 20:31:08 +0200 | blanchet | added missing file | changeset | files |
| Tue, 16 Oct 2012 20:11:15 +0200 | traytel | tuned for document output | changeset | files |
| Tue, 16 Oct 2012 18:50:53 +0200 | blanchet | added proof minimization code from Steffen Smolka | changeset | files |
| Tue, 16 Oct 2012 18:07:59 +0200 | traytel | tuned blank lines | changeset | files |
| Tue, 16 Oct 2012 18:05:28 +0200 | traytel | tuned whitespace | changeset | files |
| Tue, 16 Oct 2012 17:33:08 +0200 | popescua | a few notations changed in HOL/BNF/Examples/Derivation_Trees | changeset | files |