nominal2: Graph

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

updated to Isabelle 13 Dec
2011-12-13, by Christian Urban
updated to Isabelle 6 Dec (thanks to Odrej Kuncar)
2011-12-06, by Christian Urban
tiny improvement by removing one unnecessary assumption
2011-12-05, by Christian Urban
deleted old strong_exhaust proof
2011-12-05, by Christian Urban
tuned
2011-12-05, by Christian Urban
silly syntax bug
2011-11-30, by Christian Urban
updated to changes in the quotient package (patch by Ondrej Kuncar)
2011-11-30, by Christian Urban
termination does not automatically prove equivariance for the defined function (label: no_eqvt)
2011-11-27, by Christian Urban
a few more experiments with alpha-beta
2011-11-26, by Christian Urban
used simproc-antiquotation
2011-11-26, by Christian Urban
slides for talk in Leicester
2011-11-26, by Christian Urban
updated to Isabelle 26 Nov
2011-11-26, by Christian Urban
added eqvt-lemma for Image
2011-11-26, by Christian Urban
proved supp for QVar; QApp still fails - probably stronger condistion is needed
2011-11-10, by Christian Urban
added initial test about alpha-beta-equated terms
2011-11-09, by Christian Urban
Add equivariance for alpha_lam_raw and abs_lam.
2011-11-08, by Cezary Kaliszyk
all examples work again after quotient package has been "de-localised"
2011-11-07, by Christian Urban
updated to Isabelle 3 Nov; it includes a hack to work around a bug in the localised version of the quotient package
2011-11-03, by Christian Urban
final polishing?
2011-09-22, by Christian Urban
space
2011-09-22, by Cezary Kaliszyk
spelling
2011-09-22, by Cezary Kaliszyk
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