Nominal/Ex/PaperTest.thy
changeset 2885 1264f2a21ea9
parent 2802 3b9ef98a03d2
child 3235 5ebd327ffb96
equal deleted inserted replaced
2884:0599286b1e2a 2885:1264f2a21ea9