| Tue, 06 Nov 2001 19:27:56 +0100 | wenzelm | proper treatment of local syntax; | changeset | files |
| Tue, 06 Nov 2001 19:26:52 +0100 | wenzelm | print_syntax: include local version; | changeset | files |
| Tue, 06 Nov 2001 19:26:32 +0100 | wenzelm | added pretty_term', read_typ', read_typ_no_norm', read_def_terms' | changeset | files |
| Tue, 06 Nov 2001 19:25:24 +0100 | wenzelm | export pretty_thm_aux; | changeset | files |
| Tue, 06 Nov 2001 01:21:10 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 06 Nov 2001 01:20:49 +0100 | wenzelm | theorem(_i): locale atts; | changeset | files |
| Tue, 06 Nov 2001 01:19:07 +0100 | wenzelm | group locale_element; | changeset | files |