| Sun, 13 Sep 2015 22:56:52 +0200 | wenzelm | tuned proofs -- less legacy; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
| Thu, 26 Mar 2015 17:10:24 +0100 | blanchet | store low-level (un)fold constants | file | diff | annotate |
| Mon, 15 Dec 2014 07:20:48 +0100 | blanchet | renamed theory file | file | diff | annotate | base |