src/HOL/HOLCF/Tools/Domain/domain_axioms.ML
changeset 41648 6d736d983d5c
parent 40832 4352ca878c41
child 42151 4da4fc77664b