src/FOLP/intprover.ML
changeset 30190 479806475f3c
parent 26322 eaf634e975fa
child 35762 af3ff2ba4c54