Mercurial Mercurial > hg > nominal2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 06 Oct 2009 11:36:08 +0200 tuned; nothing serious
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 11:36:08 +0200] rev 67
tuned; nothing serious
Tue, 06 Oct 2009 09:28:59 +0200 another improvement to unlam_def
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 09:28:59 +0200] rev 66
another improvement to unlam_def
Tue, 06 Oct 2009 02:02:51 +0200 one further improvement to unlam_def
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 02:02:51 +0200] rev 65
one further improvement to unlam_def
Tue, 06 Oct 2009 01:50:13 +0200 simplified the unlam_def function
changeset
Christian Urban <urbanc@in.tum.de> [Tue, 06 Oct 2009 01:50:13 +0200] rev 64
simplified the unlam_def function
Mon, 05 Oct 2009 11:54:02 +0200 added an explicit syntax-argument to the function make_def (is needed if the user gives an syntax annotation for quotient types)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 05 Oct 2009 11:54:02 +0200] rev 63
added an explicit syntax-argument to the function make_def (is needed if the user gives an syntax annotation for quotient types)
Mon, 05 Oct 2009 11:24:32 +0200 used prop_of to get the term of a theorem (replaces crep_thm)
changeset
Christian Urban <urbanc@in.tum.de> [Mon, 05 Oct 2009 11:24:32 +0200] rev 62
used prop_of to get the term of a theorem (replaces crep_thm)
(0) -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 tip
nominal2