Sat, 16 Aug 2014 19:20:11 +0200 | wenzelm | updated to named_theorems; | file | diff | annotate |
Fri, 07 Mar 2014 14:21:15 +0100 | blanchet | tuning | 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 |