| Sun, 04 May 2014 18:14:58 +0200 | blanchet | renamed 'xxx_size' to 'size_xxx' for old datatype package | file | diff | annotate |
| Wed, 23 Apr 2014 10:23:27 +0200 | blanchet | move size hooks together, with new one preceding old one and sharing same theory data | file | diff | annotate |
| Sat, 22 Mar 2014 08:37:43 +0100 | haftmann | generalized and strengthened cong rules on compound operators, similar to 1ed737a98198 | file | diff | annotate |
| Fri, 07 Mar 2014 14:21:15 +0100 | blanchet | tuning | file | diff | annotate |
| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| Mon, 20 Jan 2014 21:32:41 +0100 | blanchet | moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain | file | diff | annotate | base |