all_sobj_prop.thy
changeset 2 301f567e2a8e
parent 1 dcde836219bc
child 6 4294abb1f38c
equal deleted inserted replaced
1:dcde836219bc 2:301f567e2a8e