nominal2: File revisions

Mercurial Mercurial > hg > nominal2 / file revisions

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

Nominal/Abs.thy

2010-03-19	Cezary Kaliszyk	Added a missing 'import'.	file \| diff \| annotate
2010-03-19	Cezary Kaliszyk	Showed the instance: fset::(at) fs	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	Proper compose_sym2	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	Trying to find a compose lemma for 2 arguments.	file \| diff \| annotate
2010-03-17	Christian Urban	added proof of supp/fv for type schemes	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	Fix for the change of alpha_gen.	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-03-17	Cezary Kaliszyk	Lifting theorems with compound fv and compound alpha.	file \| diff \| annotate
2010-03-17	Christian Urban	added another supp-proof for the non-recursive case	file \| diff \| annotate
2010-03-16	Christian Urban	merge and proof of support for non-recursive case	file \| diff \| annotate
2010-03-15	Christian Urban	merged (confirmed to work with Isabelle from 6th March)	file \| diff \| annotate
2010-03-15	Christian Urban	proof for support when bn-function is present, but fb_function is empty	file \| diff \| annotate
2010-03-15	Cezary Kaliszyk	Prove alpha_gen_compose_eqvt	file \| diff \| annotate
2010-03-15	Christian Urban	added preliminary test version....but Test works now	file \| diff \| annotate
2010-03-11	Cezary Kaliszyk	Do not fail if the finite support proof fails.	file \| diff \| annotate
2010-03-11	Christian Urban	generalised the supp for atoms to all concrete atoms (not just names)	file \| diff \| annotate

less more (0) -16 tip

nominal2