NameDateSize

..30-Oct-2020171

Examples/H25-Jul-201925

Nominal.thyH A D25-Jul-2019120.7 KiB

nominal_atoms.MLH A D25-Jul-201952.8 KiB

nominal_datatype.MLH A D25-Jul-2019100.1 KiB

nominal_fresh_fun.MLH A D25-Jul-20197 KiB

nominal_induct.MLH A D25-Jul-20196.4 KiB

nominal_inductive.MLH A D30-Oct-202034.2 KiB

nominal_inductive2.MLH A D30-Oct-202023.8 KiB

nominal_permeq.MLH A D25-Jul-201919.7 KiB

nominal_primrec.MLH A D30-Oct-202016.8 KiB

nominal_thmdecls.MLH A D25-Jul-20197.3 KiB