Mercurial Mercurial > hg > nominal2 / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -15 +15 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2011-06-16 Christian Urban added a test that every function must be of pt-sort changeset | files
2011-06-16 Christian Urban all tests work again changeset | files
2011-06-15 Christian Urban added size-lemmas to simplifier; as a result termination can be proved by the standard lexicographic_order method changeset | files
2011-06-15 Christian Urban added an abstract changeset | files
2011-06-15 Christian Urban added a stub for function paper; "isabelle make fnpaper" changeset | files
2011-06-15 Cezary Kaliszyk merge changeset | files
2011-06-15 Cezary Kaliszyk one TODO and one Problem? changeset | files
2011-06-15 Cezary Kaliszyk merge changeset | files
2011-06-15 Cezary Kaliszyk Some TODOs changeset | files
2011-06-15 Cezary Kaliszyk merge changeset | files
2011-06-15 Cezary Kaliszyk TypeSchemes work with 'default'. changeset | files
2011-06-14 Christian Urban tuned some proofs changeset | files
2011-06-14 Christian Urban fixed the problem when giving a complex default-term; the fundef lemmas in Nominal_Base were not general enough changeset | files
2011-06-14 Christian Urban tuned changeset | files
2011-06-10 Cezary Kaliszyk Move working examples before non-working ones changeset | files
Loading...
(0) -1000 -300 -100 -15 +15 +100 +300 tip
nominal2