Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
Sat, 15 Mar 2014 11:59:18 +0100 | wenzelm | tuned signature; | file | diff | annotate |
Mon, 19 Sep 2011 23:34:22 +0200 | wenzelm | fixed headers; | file | diff | annotate |
Mon, 08 Aug 2011 21:11:10 +0200 | wenzelm | modernized file proof_checker.ML; | file | diff | annotate | base |