all_sobj_prop.thy
changeset 4 8b6ba7168f2d
parent 1 dcde836219bc
child 6 4294abb1f38c