Fri, 04 Nov 2011 20:16:42 +0100 | wenzelm | proper syntactic category for abstraction syntax, to avoid low-level exception for malformed "\<integral> x y. f \<partial>M", for example; | changeset | files |
Fri, 04 Nov 2011 17:34:51 +0100 | wenzelm | merged | changeset | files |
Fri, 04 Nov 2011 17:19:33 +0100 | wenzelm | prefer global Quotient_Info lookup to accomodate Quotient_Term, which is not quite localized yet (cf. 9fd6fce8a230); | changeset | files |