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/Ex/Lambda.thy

2010-05-12	Christian Urban	fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Include raw permutation definitions in eqvt	file \| diff \| annotate
2010-05-11	Cezary Kaliszyk	Declare alpha_gen_eqvt as eqvt and change the proofs that used 'eqvts[symmetric]'	file \| diff \| annotate
2010-05-09	Christian Urban	cleaned up a bit the examples; added equivariance to all examples	file \| diff \| annotate
2010-05-04	Cezary Kaliszyk	Move 2 more to NewParser	file \| diff \| annotate
2010-04-26	Christian Urban	some changes to the paper	file \| diff \| annotate
2010-04-26	Christian Urban	eliminated command so that all compiles	file \| diff \| annotate
2010-04-26	Christian Urban	changed theorem_i to theorem....requires new Isabelle	file \| diff \| annotate
2010-04-25	Christian Urban	tuned and cleaned	file \| diff \| annotate
2010-04-16	Christian Urban	automatic proofs for equivariance of alphas	file \| diff \| annotate
2010-04-16	Cezary Kaliszyk	Finished proof in Lambda.thy	file \| diff \| annotate
2010-04-16	Christian Urban	attempt to manual prove eqvt for alpha	file \| diff \| annotate
2010-04-16	Christian Urban	some tuning of eqvt-infrastructure	file \| diff \| annotate
2010-04-14	Christian Urban	deleted offending [eqvt]-attribute in Abs; Lambda works again, but there is now a problem in CoreHaskell	file \| diff \| annotate
2010-04-14	Christian Urban	tuned and removed dead code	file \| diff \| annotate

less more (0) -15 tip

nominal2