nominal2: Graph

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

added comments from Andrei
2011-09-21, by Christian Urban
bib
2011-09-21, by Christian Urban
more polishing
2011-09-21, by Christian Urban
added a footnote
2011-09-21, by Christian Urban
some minor polishing
2011-09-21, by Christian Urban
some minor polishing
2011-09-21, by Christian Urban
merged
2011-09-21, by Christian Urban
some polishing
2011-09-21, by Christian Urban
Alternate versions of alpha for finitely supported types on the raw level
2011-09-21, by Cezary Kaliszyk
merged
2011-09-21, by Christian Urban
changes
2011-09-21, by Christian Urban
deleted PNil
2011-09-21, by Christian Urban
deleted PNil
2011-09-21, by Christian Urban
Load pdfsetup and hyperref last.
2011-09-21, by Cezary Kaliszyk
Correct BIB entry
2011-09-21, by Cezary Kaliszyk
updated to Isabelle 19 Sept
2011-09-20, by Christian Urban
more polishing
2011-09-20, by Christian Urban
minor
2011-09-20, by Cezary Kaliszyk
polished
2011-09-19, by Christian Urban
included comments from Ramana
2011-09-18, by Christian Urban
polished
2011-09-18, by Christian Urban
all material
2011-09-16, by Christian Urban
all material
2011-09-16, by Christian Urban
almost finished
2011-09-16, by Christian Urban
more on paper
2011-09-16, by Christian Urban
more on the paper
2011-09-15, by Christian Urban
more on paper
2011-09-14, by Christian Urban
minor
2011-09-14, by Cezary Kaliszyk
more on paper
2011-09-13, by Christian Urban
more on paper
2011-09-13, by Christian Urban
more on paper
2011-09-13, by Christian Urban
more on the paper
2011-09-12, by Christian Urban
more
2011-09-11, by Christian Urban
more on paper
2011-09-11, by Christian Urban
more
2011-09-10, by Christian Urban
paper
2011-09-09, by Christian Urban
merged
2011-09-09, by Christian Urban
more on paper
2011-09-08, by Christian Urban
more
2011-09-09, by Christian Urban
more on the paper
2011-09-08, by Christian Urban
more on paper
2011-09-07, by Christian Urban
more on the lmcs paper
2011-09-06, by Christian Urban
updated to Isabelle 28 Aug
2011-08-28, by Christian Urban
Use same constructor names as Lambda, remove copies of FCB, remove [eqvt].
2011-08-19, by Cezary Kaliszyk
Add lmcs-paper to hgignore
2011-08-19, by Cezary Kaliszyk
Add 'no-brackets' to avoid '[| |]' in papers.
2011-08-19, by Cezary Kaliszyk
Comment out examples with 'True' that do not work because function still does not work
2011-08-19, by Cezary Kaliszyk
Update to new Isabelle
2011-08-19, by Cezary Kaliszyk
a bit more on the paper
2011-08-18, by Christian Urban
made same changes as in main branch
2011-08-17, by Christian Urban
more on the lmcs paper
2011-08-17, by Christian Urban
a little tuning on the paper
2011-08-17, by Christian Urban
more on the intro and correct style-files
2011-08-16, by Christian Urban
uodated to new Isabelle (15. Aug)
2011-08-15, by Christian Urban
updated for new Isabelle (11. Aug.)
2011-08-15, by Christian Urban
merged
2011-08-14, by Christian Urban
started lmcs paper (isabelle make lmcs)
2011-08-12, by Christian Urban
update to 'termination (eqvt)'.
2011-07-24, by Cezary Kaliszyk
tuned
2011-07-22, by Christian Urban
completed the eqvt-proofs for functions; they are stored under the name function_name.eqvt and added to the eqvt-list
2011-07-22, by Christian Urban