Unification/Termination.thy
changeset 307 969c1a87d9fa
parent 107 5c816239deaa
equal deleted inserted replaced
306:43bde3bb4789 307:969c1a87d9fa