Quot/Examples/LFex.thy
changeset 1179 789fbba5c23f
parent 1139 c4001cda9da3