Attic/Quot/quotient_term.ML
2010-06-21 Christian Urban merged
2010-03-15 Christian Urban another synchronisation
2010-03-15 Christian Urban synchronised with main hg-repository; used add_typedef_global in nominal_atoms
2010-02-25 Christian Urban moved Quot package to Attic (still compiles there with "isabelle make")
less more (0) tip