thys2/Recs.thy
changeset 264 bc2df9620f26
parent 263 aa102c182132
child 265 fa3c214559b0