src/HOL/Nominal/INSTALL
changeset 35021 c839a4c670c6
parent 28504 7ad7d7d6df47
equal deleted inserted replaced
35020:862a20ffa8e2 35021:c839a4c670c6