src/HOL/Nitpick_Examples/Hotel_Nits.thy
changeset 41648 6d736d983d5c
parent 41360 7e82d621adc6
child 42208 02513eb26eb7
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c