Mercurial Mercurial > hg > nominal2 / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -24 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
QuotMain.thy
2009-09-21 Christian Urban merged file | diff | annotate
2009-09-21 Christian Urban slight tuning file | diff | annotate
2009-09-21 Cezary Kaliszyk The tactic with REPEAT, CHANGED and a proper simpset. file | diff | annotate
2009-09-21 Cezary Kaliszyk Merged with my changes from the morning: file | diff | annotate
2009-09-20 Ning some more beautification file | diff | annotate
2009-09-20 Ning beautification of some proofs file | diff | annotate
2009-09-18 Cezary Kaliszyk Added more useful quotient facts. file | diff | annotate
2009-09-18 Cezary Kaliszyk Testing the tactic further. file | diff | annotate
2009-09-17 Cezary Kaliszyk The tactic still only for fset file | diff | annotate
2009-09-17 Cezary Kaliszyk Infrastructure for the tactic file | diff | annotate
2009-09-16 Cezary Kaliszyk More naming/binding suggestions from Makarius file | diff | annotate
2009-09-15 Cezary Kaliszyk Code cleanup file | diff | annotate
2009-09-15 Cezary Kaliszyk Cleaning the code file | diff | annotate
2009-09-15 Cezary Kaliszyk Generalized interpretation, works for all examples. file | diff | annotate
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
less more (0) -24 tip
nominal2