2010-06-22 Christian Urban prove that alpha implies alpha_bn (needed for rsp proofs)
2010-06-21 Christian Urban further post-submission tuning
2010-06-21 Christian Urban merged with main line
2010-06-21 Christian Urban merged
2010-06-11 Christian Urban also symmetry
2010-06-10 Christian Urban merged
2010-06-10 Christian Urban premerge
2010-06-09 Christian Urban transitivity proofs done
2010-06-07 Christian Urban merged
2010-06-07 Christian Urban work on transitivity proof
2010-06-03 Christian Urban added uminus_eqvt
2010-06-03 Christian Urban fixed problem with eqvt proofs
2010-06-02 Christian Urban fixed problem with bn_info
2010-06-01 Christian Urban merged
2010-06-01 Christian Urban equivariance done
2010-06-01 Christian Urban smaller code for raw-eqvt proofs
2010-05-31 Christian Urban all raw definitions are defined using function
2010-05-27 Christian Urban merged
2010-05-27 Christian Urban intermediate state
2010-05-26 Christian Urban merged
2010-05-26 Christian Urban added FSet to the correct paper
2010-05-24 Christian Urban added slides
2010-05-24 Christian Urban tuned
2010-05-24 Christian Urban tuned
2010-05-24 Christian Urban alpha works now
2010-05-23 Christian Urban started to work on alpha
2010-05-22 Christian Urban properly exported bn_descr
2010-05-21 Christian Urban hving a working fv-definition without the export
2010-05-21 Christian Urban tuned
2010-05-20 Christian Urban proper parser for "exclude:"
2010-05-20 Christian Urban tuned
2010-05-20 Christian Urban moved some mk_union and mk_diff into the library
2010-05-20 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-06-21 Christian Urban some post-submission polishing
2010-06-20 Christian Urban added a few points that need to be looked at the next version of the qpaper
2010-06-20 Christian Urban eliminated a quot_thm flag
2010-06-20 Christian Urban fixed example
2010-06-20 Christian Urban small addition to the acknowledgement
2010-06-17 Cezary Kaliszyk qpaper / address FIXMEs.
2010-06-17 Cezary Kaliszyk forgot to save
2010-06-17 Cezary Kaliszyk Fix regularization. Two "FIXME" left in introduction. Minor spellings.
2010-06-16 Christian Urban polished everything and submitted
2010-06-16 Christian Urban conclusion done
2010-06-16 Cezary Kaliszyk Answer questions in comments
2010-06-16 Christian Urban tuned
2010-06-16 Christian Urban finished section 4, but put some things I do not understand on comment
2010-06-16 Christian Urban 4 almost finished
2010-06-15 Christian Urban cleaned up definitions
2010-06-15 Cezary Kaliszyk merge
2010-06-15 Cezary Kaliszyk qpaper/Rewrite section5
2010-06-15 Christian Urban merged
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
(0) -1000 -120 +120 tip