| Wed, 26 Oct 1994 17:41:40 +0100 | nipkow | removed superfluous type_intrs in datatype com. | changeset | files |
| Wed, 26 Oct 1994 15:20:55 +0100 | nipkow | simplified syntax of infix continuous functiuons | changeset | files |
| Tue, 25 Oct 1994 13:16:49 +0100 | wenzelm | strip_quotes now exported; | changeset | files |
| Tue, 25 Oct 1994 13:15:34 +0100 | wenzelm | minor change of occs_const in dest_defn; | changeset | files |
| Tue, 25 Oct 1994 13:13:52 +0100 | wenzelm | added require_thy; | changeset | files |
| Mon, 24 Oct 1994 10:34:28 +0100 | lcp | HOL,ZF/IMP/Com.thy: tightening precedences to eliminate syntactic ambiguities. | changeset | files |