src/FOLP/ex/Propositional_Cla.thy
changeset 71046 b8aeeedf7e68
parent 69593 3dda49e08b9d
equal deleted inserted replaced
71032:acedd04c1a42 71046:b8aeeedf7e68