NameDateSize

..25-Jul-2019169

Examples/H25-Jul-201925

Nominal.thyH A D25-Jul-2019120.5 KiB

nominal_atoms.MLH A D25-Jul-201951.9 KiB

nominal_datatype.MLH A D25-Jul-201998.8 KiB

nominal_fresh_fun.MLH A D25-Jul-20197 KiB

nominal_induct.MLH A D25-Jul-20196.4 KiB

nominal_inductive.MLH A D25-Jul-201933.9 KiB

nominal_inductive2.MLH A D25-Jul-201923.5 KiB

nominal_permeq.MLH A D25-Jul-201919.4 KiB

nominal_primrec.MLH A D25-Jul-201916.7 KiB

nominal_thmdecls.MLH A D25-Jul-20197.1 KiB