Dynamic2static.thy
changeset 9 87fdf2de0ffa
parent 1 7d9c0ed02b56
child 19 ced0fcfbcf8e
equal deleted inserted replaced
8:289a30c4cfb7 9:87fdf2de0ffa