| Sat, 04 Feb 2017 21:15:11 +0100 | wenzelm | more uniform use of Reconstruct.clean_proof_of; | file | diff | annotate |
| Tue, 13 Dec 2016 11:51:42 +0100 | wenzelm | more symbols; | file | diff | annotate |
| Fri, 05 Aug 2016 20:45:58 +0200 | wenzelm | tuned -- maxidx unused; | file | diff | annotate |
| Sat, 09 Apr 2016 13:28:32 +0200 | wenzelm | clarified context; | file | diff | annotate |
| Fri, 25 Sep 2015 20:37:59 +0200 | wenzelm | moved remaining display.ML to more_thm.ML; | file | diff | annotate |
| Tue, 28 Jul 2015 23:14:40 +0200 | wenzelm | clarified context; | file | diff | annotate |
| Wed, 26 Nov 2014 20:05:34 +0100 | wenzelm | renamed "pairself" to "apply2", in accordance to @{apply 2}; | file | diff | annotate |