Nominal/Abs.thy
changeset 1927 6c5e3ac737d9
parent 1919 d96c48fd7316
child 1924 748084501637
equal deleted inserted replaced
1922:94ed05fb090e 1927:6c5e3ac737d9