Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |
Sun, 02 Jun 2013 10:57:21 +0200 | haftmann | denesting of functions | file | diff | annotate |
Sun, 02 Jun 2013 07:46:40 +0200 | haftmann | make reification part of HOL | file | diff | annotate | base |