Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -10 -8 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Quot/Examples/LamEx.thy
Fri, 15 Jan 2010 16:13:49 +0100 Christian Urban tried to witness the hom-lemma with the recursion combinator from rlam....does not work yet completely file | diff | annotate
Fri, 15 Jan 2010 15:51:25 +0100 Cezary Kaliszyk hom lifted to hom', so it is true. Infrastructure for partially regularized quantifiers. Nicer errors for regularize. file | diff | annotate
Fri, 15 Jan 2010 12:17:30 +0100 Christian Urban slight tuning of relation_error file | diff | annotate
Fri, 15 Jan 2010 11:04:21 +0100 Cezary Kaliszyk Appropriate respects and a statement of the lifted hom lemma file | diff | annotate
Fri, 15 Jan 2010 10:48:49 +0100 Christian Urban recursion-hom for lambda file | diff | annotate
Fri, 15 Jan 2010 10:36:48 +0100 Cezary Kaliszyk Incorrect version of the homomorphism lemma file | diff | annotate
Thu, 14 Jan 2010 23:17:21 +0100 Christian Urban tuned quotient_def.ML and cleaned somewhat LamEx.thy file | diff | annotate
Thu, 14 Jan 2010 19:03:08 +0100 Christian Urban a few more lemmas...except supp of lambda-abstractions file | diff | annotate
less more (0) -10 -8 tip
nominal2