Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |
Fri, 17 Dec 2010 14:09:37 +0100 | wenzelm | clarified exports of structure Simplifier; | file | diff | annotate |
Tue, 25 May 2010 22:21:31 +0200 | wenzelm | moved ML files where they are actually used; | file | diff | annotate | base |