nominal2: Graph

Mercurial Mercurial > hg > nominal2 / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | help
less more | (0) -1000 -300 -100 -60 +60 +100 +300 tip

adapted to changes by Florian on the quotient package and removed local fix for function package
2010-11-10, by Christian Urban
expanded the paper by uncommenting the comments and adding the appendix
2010-11-10, by Christian Urban
fixed locally the problem with the function package; all tests work again
2010-11-07, by Christian Urban
added a test about subtyping; disabled two tests, because of problem with function package
2010-11-06, by Christian Urban
small typo
2010-11-05, by Christian Urban
squeezed qpaper to 6 pages
2010-10-29, by Christian Urban
Qpaper / Move examples to commented out appendix
2010-10-29, by Cezary Kaliszyk
Unanonymize qpaper
2010-10-28, by Cezary Kaliszyk
FSet changes for Qpaper
2010-10-28, by Cezary Kaliszyk
Remove FSet and use the one from Isabelle
2010-10-28, by Cezary Kaliszyk
took out comment about map-types / adapted to recent changes
2010-10-19, by Christian Urban
use definitions instead of functions
2010-10-19, by Christian Urban
tuned
2010-10-18, by Christian Urban
used functions instead of definitions
2010-10-18, by Christian Urban
added missing style file
2010-10-18, by Christian Urban
Use the generalized compositional quotient theorem
2010-10-18, by Cezary Kaliszyk
fixed typo
2010-10-17, by Christian Urban
all tests work again
2010-10-17, by Christian Urban
some tuning
2010-10-17, by Christian Urban
naming scheme is now *_fset (not f*_)
2010-10-17, by Christian Urban
more cleaning
2010-10-15, by Christian Urban
further tuning
2010-10-15, by Christian Urban
renamed fminus_raw to diff_list
2010-10-15, by Christian Urban
renamed fcard_raw to card_list
2010-10-15, by Christian Urban
slight update
2010-10-15, by Christian Urban
Further reorganisation and cleaning
2010-10-15, by Christian Urban
further cleaning
2010-10-15, by Christian Urban
typo
2010-10-15, by Christian Urban
FSet: stronger fact in Isabelle.
2010-10-15, by Cezary Kaliszyk
FSet synchronizing
2010-10-15, by Cezary Kaliszyk
Synchronizing FSet further.
2010-10-15, by Cezary Kaliszyk
Partially merging changes from Isabelle
2010-10-15, by Cezary Kaliszyk
fixed the typo in the abstract and the problem with append (the type of map_k
2010-10-14, by Christian Urban
changed format of the pearl paper
2010-10-14, by Christian Urban
deleted some unused lemmas
2010-10-14, by Christian Urban
major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
2010-10-14, by Christian Urban
more on the pearl paper
2010-10-13, by Christian Urban
added a section about abstractions
2010-10-12, by Christian Urban
tiny work on the pearl paper
2010-10-12, by Christian Urban
tuned
2010-10-08, by Christian Urban
added apendix to paper detailing one proof
2010-10-08, by Christian Urban
minor
2010-10-08, by Christian Urban
minor
2010-10-08, by Christian Urban
down to 20 pages
2010-10-08, by Christian Urban
minor
2010-10-07, by Cezary Kaliszyk
down to 21 pages and changed strong induction section
2010-10-06, by Christian Urban
tuned
2010-10-06, by Christian Urban
down to 22 pages
2010-10-06, by Christian Urban
down to 23 pages
2010-10-05, by Christian Urban
down to 24 pages and a bit
2010-10-05, by Christian Urban
llncs and more sqeezing
2010-10-05, by Christian Urban
first part of sqeezing everything into 20 pages (at the moment we have 26)
2010-10-04, by Christian Urban
changed to llncs
2010-10-04, by Christian Urban
merged
2010-10-01, by Christian Urban
minor experiments
2010-10-01, by Christian Urban
merged
2010-09-30, by Christian Urban
simplified exhaust proofs
2010-09-29, by Christian Urban
Made the paper to compile with the renamings.
2010-10-01, by Cezary Kaliszyk
merged
2010-09-29, by Christian Urban
worked example Foo1 with induct_schema
2010-09-29, by Christian Urban

less more | (0) -1000 -300 -100 -60 +60 +100 +300 tip

nominal2