src/FOL/fol.thy
changeset 10148 739327964a5c
parent 0 a5a9c433f639