src/HOL/Prolog/Test.thy
changeset 54381 9c1f21365326
parent 51311 337cfc42c9c8
child 58889 5b7a9633cfa8
equal deleted inserted replaced
54380:209596f56c05 54381:9c1f21365326