src/FOLP/intprover.ML
changeset 7866 3ccaa11b6df9
parent 4440 9ed4098074bc
child 9263 53e09e592278