2010-06-15 Christian Urban tuned everytinh up to section 4
2010-06-15 Cezary Kaliszyk Definition of Respects.
2010-06-15 Cezary Kaliszyk conclusion
2010-06-15 Cezary Kaliszyk Qpaper / Clarify the typing system and composition of quotients issue.
2010-06-15 Cezary Kaliszyk Remove only reference to 'equivp'.
2010-06-15 Cezary Kaliszyk merge
2010-06-15 Cezary Kaliszyk qpaper/ackno
2010-06-15 Christian Urban tuned
2010-06-15 Cezary Kaliszyk qpaper
2010-06-15 Cezary Kaliszyk qpaper / hol4
2010-06-15 Cezary Kaliszyk qpaper/related work
2010-06-15 Christian Urban finished preliminary section
2010-06-14 Christian Urban typo
2010-06-14 Christian Urban some slight tuning of the preliminary section
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Christian Urban merged
2010-06-14 Christian Urban tuned
2010-06-14 Cezary Kaliszyk Qpaper / beginnig of sec5
2010-06-14 Cezary Kaliszyk merge
2010-06-14 Cezary Kaliszyk qpaper/unfold the ball_reg_right statement
2010-06-14 Christian Urban merged
2010-06-14 Christian Urban some tuning and start work on section 4
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Cezary Kaliszyk qpaper / INJ
2010-06-14 Cezary Kaliszyk qpaper / REG
2010-06-14 Cezary Kaliszyk qpaper / minor
2010-06-14 Cezary Kaliszyk qpaper/various
2010-06-14 Cezary Kaliszyk qpaper
2010-06-14 Cezary Kaliszyk qpaper/more on example
2010-06-14 Cezary Kaliszyk qpaper/examples
2010-06-14 Christian Urban completed proof and started section about respectfulness and preservation
2010-06-13 Christian Urban more on the qpaper
2010-06-13 Christian Urban tuned
2010-06-13 Christian Urban more on the constant lifting section
2010-06-13 Christian Urban something about the quotient ype definitions
2010-06-13 Christian Urban added some examples
2010-06-13 Christian Urban improved definition of ABS and REP
2010-06-13 Cezary Kaliszyk qpaper.
2010-06-13 Cezary Kaliszyk some spelling
2010-06-13 Cezary Kaliszyk minor
2010-06-13 Cezary Kaliszyk qpaper / tuning in preservation and general display
2010-06-13 Christian Urban polishing of ABS/REP
2010-06-12 Christian Urban some slight tuning of the intro
2010-06-12 Cezary Kaliszyk Fix integer relation.
2010-06-12 Christian Urban completed the intro (except minor things)
2010-06-11 Christian Urban more intro
2010-06-11 Christian Urban more on the qpaper
2010-06-11 Christian Urban even more on the qpaper (intro almost done)
2010-06-11 Christian Urban more to the introduction of the qpaper
2010-06-10 Christian Urban adapted to the official sigplan style file (this gives us more space)
2010-06-10 Christian Urban added to the popl-paper a pointer to work by Altenkirch
2010-06-10 Christian Urban more on the qpaper
2010-06-07 Christian Urban new title for POPL paper
2010-06-07 Christian Urban more work on intro and abstract (done for today)
2010-06-07 Christian Urban a bit more in the introduction and abstract
2010-06-07 Christian Urban improved abstract, some tuning
2010-06-06 Cezary Kaliszyk Qpaper / minor on cleaning
2010-06-05 Cezary Kaliszyk qpaper / injection proof.
2010-06-05 Cezary Kaliszyk qpaper / example interaction
2010-06-05 Cezary Kaliszyk Qpaper/regularization proof.
2010-06-05 Cezary Kaliszyk qpaper
2010-06-02 Cezary Kaliszyk Qpaper/more.
2010-06-02 Cezary Kaliszyk Qpaper/Minor
2010-06-01 Christian Urban added larry's quote
2010-06-01 Christian Urban added larry's paper
2010-06-01 Christian Urban tuned
2010-05-28 Christian Urban first version of the abstract
2010-05-27 Christian Urban merged
2010-05-27 Christian Urban fixed bug where perm_simp 'forgets' how to prove equivariance for the empty set
2010-05-27 Cezary Kaliszyk qpaper / lemmas used in proofs
2010-05-27 Cezary Kaliszyk qpaper / injection statement
2010-05-27 Cezary Kaliszyk qpaper / regularize
2010-05-27 Cezary Kaliszyk qpaper / a bit about prs
2010-05-27 Cezary Kaliszyk Functionalized the ABS/REP definition.
2010-05-26 Cezary Kaliszyk qpaper / lifting introduction
2010-05-26 Cezary Kaliszyk merged
2010-05-26 Christian Urban fixed compile error
2010-05-26 Cezary Kaliszyk qpaper / composition of quotients.
2010-05-26 Cezary Kaliszyk qpaper
2010-05-26 Cezary Kaliszyk qpaper..
2010-05-26 Cezary Kaliszyk qpaper.
2010-05-26 Cezary Kaliszyk Name some respectfullness
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-26 Christian Urban merged
2010-05-26 Christian Urban added FSet
2010-05-26 Cezary Kaliszyk qpaper
2010-05-26 Cezary Kaliszyk qpaper
2010-05-25 Cezary Kaliszyk Substitution Lemma for TypeSchemes.
2010-05-25 Cezary Kaliszyk Simplified the proof
2010-05-25 Cezary Kaliszyk A lemma about substitution in TypeSchemes.
2010-05-25 Cezary Kaliszyk reversing the direction of fresh_star
2010-05-25 Cezary Kaliszyk overlapping deep binders proof
2010-05-25 Christian Urban edits from the reviewers
2010-05-24 Christian Urban tuned paper
2010-05-23 Christian Urban changed qpaper to lncs-style
2010-05-21 Cezary Kaliszyk Match_Lam defined on Quotient Level.
2010-05-21 Cezary Kaliszyk More on Function-defined subst.
2010-05-21 Cezary Kaliszyk Isabelle renamings
2010-05-21 Cezary Kaliszyk merge
2010-05-21 Cezary Kaliszyk Renamings.
2010-05-21 Cezary Kaliszyk Renamings
2010-05-21 Cezary Kaliszyk merge (non-trival)
2010-05-21 Cezary Kaliszyk Previously uncommited direct subst definition changes.
2010-05-21 Cezary Kaliszyk Function experiments
2010-05-19 Christian Urban merged
2010-05-19 Christian Urban added comments about pottiers work
2010-05-19 Cezary Kaliszyk more subst experiments
2010-05-19 Cezary Kaliszyk More subst experminets
2010-05-18 Cezary Kaliszyk more on subst
2010-05-18 Cezary Kaliszyk Single variable substitution
2010-05-18 Cezary Kaliszyk subst fix
(0) -1000 -112 +112 tip