nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

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

Nominal/Nominal2_Base.thy

2012-05-25	Christian Urban	fixed bug in simproc (also in the exec-version)	file \| diff \| annotate
2012-05-24	Cezary Kaliszyk	Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle	file \| diff \| annotate
2012-05-23	Christian Urban	improved handling in the simplifier for inequalities derived from freshness assumptions	file \| diff \| annotate
2012-05-12	Christian Urban	added a lemma about composition and permutations	file \| diff \| annotate
2012-04-04	Christian Urban	updated to Isabelle version April 1	file \| diff \| annotate
2012-03-30	Cezary Kaliszyk	Clean the proof of Aux	file \| diff \| annotate
2012-03-17	Christian Urban	updated to new Isabelle (declared keywords)	file \| diff \| annotate
2012-02-17	Christian Urban	added multisets to stable branch Nominal2-Isabelle2011-1	file \| diff \| annotate
2012-02-17	Christian Urban	added fs and pt for multisets	file \| diff \| annotate
2012-01-03	Christian Urban	updated to explicit set type constructor (post Isabelle 3rd January)	file \| diff \| annotate
2011-12-29	Christian Urban	added two eqvt lemmas for fset-operators	file \| diff \| annotate
2011-12-15	Christian Urban	updated to lates changes in the datatype package	file \| diff \| annotate
2011-11-26	Christian Urban	updated to Isabelle 26 Nov	file \| diff \| annotate
2011-11-26	Christian Urban	added eqvt-lemma for Image	file \| diff \| annotate
2011-09-20	Christian Urban	updated to Isabelle 19 Sept	file \| diff \| annotate

less more (0) -15 tip

nominal2