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_FSet.thy

2010-09-03	Christian Urban	got rid of Nominal_Atoms (folded into Nominal2_Base)	file \| diff \| annotate
2010-09-03	Christian Urban	cleaned a bit various thy-files in Nominal-General	file \| diff \| annotate
2010-08-28	Christian Urban	slight cleaning	file \| diff \| annotate
2010-06-29	Christian Urban	removed an "eqvt"-warning	file \| diff \| annotate
2010-05-27	Christian Urban	intermediate state	file \| diff \| annotate
2010-05-25	Cezary Kaliszyk	reversing the direction of fresh_star	file \| diff \| annotate
2010-04-30	Christian Urban	generalised the fs-instance lemma (not just fsets of atoms are finitely supported, but also fsets of finitely supported elements)	file \| diff \| annotate
2010-04-28	Christian Urban	use the more general type-class at_base	file \| diff \| annotate
2010-04-22	Christian Urban	moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms	file \| diff \| annotate
2010-04-13	Christian Urban	made everything to compile	file \| diff \| annotate
2010-04-12	Christian Urban	moved equivariance of map into Nominal2_Eqvt file	file \| diff \| annotate
2010-04-11	Christian Urban	tuned	file \| diff \| annotate
2010-04-08	Brian Huffman	simplify instance proof	file \| diff \| annotate
2010-04-04	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Remove list_eq notation.	file \| diff \| annotate

less more (0) -15 tip

nominal2