src/Pure/conjunction.ML
changeset 23168 fcdd4346fa6b
parent 21565 bd28361f4c5b
child 23422 4a368c087f58