Quot/quotient_tacs.ML
Tue, 22 Dec 2009 07:42:16 +0100 Christian Urban on the hunt for what condition raises which exception in the CLEVER CODE of calculate_inst
Tue, 22 Dec 2009 07:28:09 +0100 Christian Urban simplified calculate_instance; worked around some clever code; clever code is unfortunately still there...needs to be removed
less more (0) -2 tip