| Wed, 21 Jul 2010 15:13:36 +0200 | wenzelm | explicit dependency on theory HOL; | file | diff | annotate |
| Tue, 20 Jul 2010 23:09:49 +0200 | wenzelm | discontinued pervasive val theory = Thy_Info.get_theory -- prefer antiquotations in most situations; | file | diff | annotate |