
products/sources/formale sprachen/Isabelle/HOL/Nominal/

Quellcodebibliothek

Verzeichnis products/sources/formale sprachen/Isabelle/HOL/Nominal/

Original von: Beweissystem aus München und Cambridge ^©

Nominal.thy
nominal_atoms.ML
nominal_datatype.ML
nominal_fresh_fun.ML
nominal_induct.ML
nominal_inductive.ML
nominal_inductive2.ML
nominal_permeq.ML
nominal_primrec.ML
nominal_thmdecls.ML




in der Quellcodebibliothek suchen