nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

Nominal/Ex/CPS/CPS2_DanvyNielsen.thy

2018-04-19	Christian Urban	updated to Isabelle 2016-1 default	file \| diff \| annotate
2014-05-19	Christian Urban	changed nominal_primrec to nominal_function and termination to nominal_termination	file \| diff \| annotate
2014-05-19	Christian Urban	changed nominal_primrec into the more appropriate nominal_function	file \| diff \| annotate
2014-03-24	Christian Urban	updated to massive changes in Isabelle	file \| diff \| annotate
2014-03-13	Christian Urban	updated to Isabelle changes	file \| diff \| annotate
2012-08-07	Christian Urban	definition of an auxiliary graph in nominal-primrec definitions	file \| diff \| annotate
2012-07-15	Christian Urban	added a simproc for alpha-equivalence to the simplifier	file \| diff \| annotate
2012-07-12	Christian Urban	streamlined definition of alpha-equivalence for single binders (used flip instead of swap)	file \| diff \| annotate
2012-06-12	Christian Urban	added finfun-type to Nominal	file \| diff \| annotate
2012-06-11	Christian Urban	added CPS files to test (not all proofs have been completed)	file \| diff \| annotate
2011-12-21	Cezary Kaliszyk	Reorder constructors to match Lambda	file \| diff \| annotate
2011-08-19	Cezary Kaliszyk	Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].	file \| diff \| annotate
2011-06-24	Cezary Kaliszyk	Theory name changes for JEdit	file \| diff \| annotate
2011-06-19	Cezary Kaliszyk	little on cps2	file \| diff \| annotate
2011-06-16	Christian Urban	moved for the moment CPS translations into the example directory	file \| diff \| annotate \| base

less more (0) tip

nominal2