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
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
merged
2010-08-22, by Christian Urban
updated to new Isabelle
2010-08-22, by Christian Urban
not needed anymore
2010-08-21, by Christian Urban
moved lifting code from Lift.thy to nominal_dt_quot.ML
2010-08-21, by Christian Urban
nominal_datatypes with type variables do not work
2010-08-21, by Christian Urban
changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default
2010-08-21, by Christian Urban
Clarifications to FIXMEs.
2010-08-20, by Cezary Kaliszyk
Finished adding remarks from the reviewers.
2010-08-20, by Cezary Kaliszyk
few remaining remarks as fixme's.
2010-08-20, by Cezary Kaliszyk
used @{const_name} hopefully everywhere
2010-08-19, by Christian Urban
Intuition behind REL
2010-08-19, by Cezary Kaliszyk
add missing mathpartir
2010-08-19, by Cezary Kaliszyk
Add 2 FIXMEs
2010-08-19, by Cezary Kaliszyk
The type does determine respectfulness, the constant without an instantiated type does not.
2010-08-19, by Cezary Kaliszyk
Add the SAC stylesheet and updated root file.
2010-08-19, by Cezary Kaliszyk
TODO
2010-08-19, by Cezary Kaliszyk
further comments from the referees
2010-08-19, by Cezary Kaliszyk
fixes for referees
2010-08-19, by Cezary Kaliszyk
put everything in a "timeit"
2010-08-18, by Christian Urban
improved runtime slightly, by constructing an explicit size measure for the function definitions
2010-08-18, by Christian Urban
more tuning of the code
2010-08-17, by Christian Urban
deleted unused code
2010-08-17, by Christian Urban
improved code
2010-08-17, by Christian Urban
can also lift the various eqvt lemmas for bn, fv, fv_bn and size
2010-08-17, by Christian Urban
also able to lift the bn_defs
2010-08-17, by Christian Urban
added rsp-lemmas for alpha_bns
2010-08-17, by Christian Urban
cezary made the eq_iff lemmas to lift (still needs some infrastructure in quotient)
2010-08-16, by Christian Urban
pinpointed the problem
2010-08-16, by Christian Urban
modified the code for class instantiations (with help from Florian)
2010-08-16, by Christian Urban
defined qperms and qsizes
2010-08-15, by Christian Urban
simplified code
2010-08-15, by Christian Urban
improved code
2010-08-14, by Christian Urban
more experiments with lifting
2010-08-14, by Christian Urban
updated to Isabelle 12th Aug
2010-08-12, by Christian Urban
rsp for constructors
2010-08-11, by Christian Urban
updated to Isabelle 11 Aug
2010-08-11, by Christian Urban
added a function that transforms the helper-rsp lemmas into real rsp lemmas
2010-08-11, by Christian Urban
proved rsp-helper lemmas of size functions
2010-08-08, by Christian Urban
tuning
2010-07-31, by Christian Urban
further simplification with alpha_prove
2010-07-31, by Christian Urban
introduced a general alpha_prove method
2010-07-31, by Christian Urban
equivariance for size
2010-07-30, by Christian Urban
helper lemmas for rsp-lemmas
2010-07-29, by Christian Urban
tests
2010-07-27, by Christian Urban
cleaned up a bit Abs.thy
2010-07-27, by Christian Urban
fixed order of fold_union to make alpha and fv agree
2010-07-27, by Christian Urban
small cleaning
2010-07-26, by Christian Urban
added paper by james; some minor cleaning
2010-07-25, by Christian Urban
samll changes
2010-07-23, by Christian Urban
made compatible
2010-07-23, by Christian Urban
added
2010-07-23, by Christian Urban
updated to new Isabelle; made FSet more "quiet"
2010-07-22, by Christian Urban
merged
2010-07-20, by Christian Urban
minor
2010-07-19, by Christian Urban
minor polishing
2010-07-19, by Christian Urban
quote for a new paper
2010-07-19, by Christian Urban
corrected lambda-preservation theorem
2010-07-19, by Christian Urban
minor
2010-07-19, by Christian Urban
minor things on the paper
2010-07-18, by Christian Urban
merged
2010-07-18, by Christian Urban
less
more
|
(0)
-1000
-300
-100
-60
+60
+100
+300
tip