| Fri, 19 Oct 2007 23:21:15 +0200 | wenzelm | export_code: proper command; | file | diff | annotate |
| Thu, 11 Oct 2007 19:10:17 +0200 | wenzelm | moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML); | file | diff | annotate |
| Thu, 11 Oct 2007 16:05:56 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | file | diff | annotate |