src/LK/ex/hard-quant.ML
changeset 5396 cfc1fe0b8490
parent 0 a5a9c433f639