src/HOL/Nitpick_Examples/Record_Nits.thy
changeset 82892 45107da819fc
parent 74641 6f801e1073fa
equal deleted inserted replaced
82891:372273ab6ebb 82892:45107da819fc