Quot/quotient_info.ML
2010-02-11 Cezary Kaliszyk Main renaming + fixes for new Isabelle in IntEx2.
2010-02-10 Christian Urban removed dead code
2010-02-09 Cezary Kaliszyk 'exc' -> 'exn' and more name and space cleaning.
2010-02-09 Cezary Kaliszyk More indentation, names and todo cleaning in the quotient package
2010-02-04 Cezary Kaliszyk Quotdata_dest needed for lifting theorem translation.
2010-01-27 Christian Urban use of equiv_relation_chk in quotient_term
2010-01-14 Christian Urban trivial
2010-01-14 Cezary Kaliszyk Simplified matches_typ.
2010-01-14 Cezary Kaliszyk produce defs with lthy, like prs and ids
2010-01-14 Cezary Kaliszyk Finished organising an efficient datastructure for qconst_info.
2010-01-14 Cezary Kaliszyk Undid changes from symtab to termtab, since we need to lookup specialized types.
2010-01-13 Christian Urban one more item in the list of Markus
2010-01-13 Cezary Kaliszyk Stored Termtab for constant information.
2010-01-12 Cezary Kaliszyk minor comment editing
2010-01-11 Cezary Kaliszyk removed quotdata_lookup_type
less more (0) -15 tip