| Sat, 22 Sep 2007 17:45:58 +0200 | wenzelm | ProofContext.mode_abbrev; | changeset | files |
| Sat, 22 Sep 2007 17:45:57 +0200 | wenzelm | removed obsolete set_expand_abbrevs (superceded by mode_abbrev); | changeset | files |
| Sat, 22 Sep 2007 17:45:56 +0200 | wenzelm | certify': proper do_expand argument (which observes force_expand consts) instead of home-grown normalize; | changeset | files |
| Sat, 22 Sep 2007 17:45:55 +0200 | wenzelm | certify: do_expand as explicit argument, actually certify type of abstractions; | changeset | files |
| Fri, 21 Sep 2007 22:51:13 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 21 Sep 2007 22:51:12 +0200 | wenzelm | added has_abs (from envir.ML); | changeset | files |
| Fri, 21 Sep 2007 22:51:10 +0200 | wenzelm | Term.has_abs; | changeset | files |