Quot/quotient_term.ML
2009-12-22 Christian Urban tuned
2009-12-22 Christian Urban moved get_fun into quotient_term; this simplifies the overall including structure of the package
2009-12-19 Christian Urban avoided global "open"s - replaced by local "open"s
less more (0) -3 tip