| Fri, 13 Mar 2009 15:50:05 +0100 | wenzelm | get data from plain Proof.context; | file | diff | annotate |
| Fri, 02 Jan 2009 22:06:56 +0100 | krauss | removed references to OldTerm.* | file | diff | annotate |
| Wed, 31 Dec 2008 00:08:13 +0100 | wenzelm | moved old add_term_vars, add_term_frees etc. to structure OldTerm; | file | diff | annotate |