nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

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

Nominal/Ex/Lambda.thy

2018-04-19	Christian Urban	updated to Isabelle 2016-1 default	file \| diff \| annotate
2016-03-19	Christian Urban	updated to Isabelle 2016 Nominal2-Isabelle2016	file \| diff \| annotate
2015-07-20	Christian Urban	removed junk	file \| diff \| annotate
2015-07-09	Christian Urban	updated for Isabelle 2015	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-04-06	Christian Urban	some small additions to examples	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
2013-06-04	Christian Urban	updated to new Isabelle	file \| diff \| annotate
2013-02-19	Christian Urban	updated for 2013 release Nominal2-Isabelle2013	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-04	Christian Urban	added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often	file \| diff \| annotate
2012-05-31	Christian Urban	added to the simplifier nominal_datatype.fresh lemmas	file \| diff \| annotate

less more (0) -100 -16 tip

nominal2