Nominal/nominal_atoms.ML
changeset 2664 a9a1ed3f5023
parent 2568 8193bbaa07fe
child 2891 304dfe6cc83a
equal deleted inserted replaced
2663:54aade5d0fe6 2664:a9a1ed3f5023