Slides/Slides1.thy
changeset 2308 387fcbd33820
parent 2304 8a98171ba1fc
child 2309 13f20fe02ff3
equal deleted inserted replaced
2307:118a0ca16381 2308:387fcbd33820