| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
| Fri, 13 Apr 2012 14:00:26 +0200 | wenzelm | updated headers; | file | diff | annotate |
| Tue, 03 Apr 2012 22:04:50 +0200 | huffman | renamed Tools/transfer.ML to Tools/legacy_transfer.ML | file | diff | annotate | base |