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