thys2/Recs.thy
changeset 267 28d85e8ff391
parent 266 b1b47d28c295
child 269 fa40fd8abb54