Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
QuotMain.thy
2009-08-28 Cezary Kaliszyk Fixes after suggestions from Makarius: file | diff | annotate
2009-08-28 Cezary Kaliszyk More examples. file | diff | annotate
2009-08-27 Cezary Kaliszyk Use metavariables in the 'non-lambda' definitions file | diff | annotate
2009-08-26 Cezary Kaliszyk Make both kinds of definitions. file | diff | annotate
2009-08-25 Cezary Kaliszyk Changed to the use of "modern interface" file | diff | annotate
2009-08-25 Cezary Kaliszyk Initial version of the function that builds goals. file | diff | annotate
2009-08-25 Cezary Kaliszyk - Build an interpretation for fset from ML level and use it file | diff | annotate
2009-08-24 Christian Urban added the prove command file | diff | annotate
2009-08-21 Cezary Kaliszyk Fixed file | diff | annotate
2009-08-21 Christian Urban tuned file | diff | annotate
2009-08-20 cek UNION - Append theorem file | diff | annotate
2009-08-20 Christian Urban update file | diff | annotate
2009-08-18 Christian Urban updated slightly file | diff | annotate
2009-08-11 Christian Urban initial commit file | diff | annotate
less more (0) tip
nominal2