Slides/Slides2.thy
changeset 282 02b6fab379ba
parent 280 19a4ac992823
child 285 447b433b67fa
equal deleted inserted replaced
281:00ac265b251b 282:02b6fab379ba