Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -28 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/Ex/Lambda.thy
2010-06-07 Christian Urban work on transitivity proof file | diff | annotate
2010-05-21 Cezary Kaliszyk Match_Lam defined on Quotient Level. file | diff | annotate
2010-05-21 Cezary Kaliszyk More on Function-defined subst. file | diff | annotate
2010-05-21 Cezary Kaliszyk merge file | diff | annotate
2010-05-21 Cezary Kaliszyk Renamings. file | diff | annotate
2010-05-21 Cezary Kaliszyk merge (non-trival) file | diff | annotate
2010-05-21 Cezary Kaliszyk Previously uncommited direct subst definition changes. file | diff | annotate
2010-05-21 Cezary Kaliszyk Function experiments file | diff | annotate
2010-05-19 Cezary Kaliszyk more subst experiments file | diff | annotate
2010-05-19 Cezary Kaliszyk More subst experminets file | diff | annotate
2010-05-18 Cezary Kaliszyk more on subst file | diff | annotate
2010-05-18 Cezary Kaliszyk Single variable substitution file | diff | annotate
2010-05-18 Cezary Kaliszyk subst fix file | diff | annotate
2010-05-18 Cezary Kaliszyk subst experiments file | diff | annotate
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
less more (0) -28 tip
nominal2