src/Pure/facts.ML
changeset 61959 364007370bb7
parent 61054 add998b3c597
child 63080 8326aa594273
equal deleted inserted replaced
61958:0a5dd617a88c 61959:364007370bb7