2010-07-19 |
Christian Urban |
minor
|
changeset |
files
|
2010-07-18 |
Christian Urban |
minor things on the paper
|
changeset |
files
|
2010-07-18 |
Christian Urban |
merged
|
changeset |
files
|
2010-07-18 |
Christian Urban |
minor things
|
changeset |
files
|
2010-07-18 |
Christian Urban |
some test with quotient
|
changeset |
files
|
2010-07-17 |
Christian Urban |
some minor changes
|
changeset |
files
|
2010-07-17 |
Christian Urban |
changes suggested by Peter Homeier
|
changeset |
files
|
2010-07-17 |
Christian Urban |
tests
|
changeset |
files
|
2010-07-16 |
Christian Urban |
submitted version
|
changeset |
files
|
2010-07-16 |
Christian Urban |
more paper
|
changeset |
files
|
2010-07-16 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-16 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-15 |
Christian Urban |
a bit more to the paper
|
changeset |
files
|
2010-07-14 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-13 |
Christian Urban |
more on slides
|
changeset |
files
|
2010-07-13 |
Christian Urban |
slides
|
changeset |
files
|
2010-07-12 |
Christian Urban |
more on slides
|
changeset |
files
|
2010-07-11 |
Christian Urban |
slides
|
changeset |
files
|
2010-07-10 |
Christian Urban |
slides
|
changeset |
files
|
2010-07-10 |
Christian Urban |
more on slides
|
changeset |
files
|
2010-07-10 |
Christian Urban |
more on slides
|
changeset |
files
|
2010-07-10 |
Christian Urban |
added material for slides
|
changeset |
files
|
2010-07-09 |
Christian Urban |
fixed
|
changeset |
files
|
2010-07-09 |
Christian Urban |
before examples
|
changeset |
files
|
2010-07-09 |
Christian Urban |
finished alpha-section
|
changeset |
files
|
2010-07-07 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-07 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-02 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-02 |
Christian Urban |
finished fv-section
|
changeset |
files
|
2010-07-01 |
Christian Urban |
more on the paper
|
changeset |
files
|
2010-07-01 |
Christian Urban |
spell check
|
changeset |
files
|
2010-06-30 |
Christian Urban |
more work on the paper
|
changeset |
files
|
2010-06-29 |
Christian Urban |
removed an "eqvt"-warning
|
changeset |
files
|
2010-06-28 |
Christian Urban |
more quotient-definitions
|
changeset |
files
|
2010-06-28 |
Christian Urban |
slight cleaning
|
changeset |
files
|
2010-06-27 |
Christian Urban |
fixed according to changes in quotient
|
changeset |
files
|
2010-06-24 |
Christian Urban |
added definition of the quotient types
|
changeset |
files
|
2010-06-24 |
Christian Urban |
fixed according to changes in quotient
|
changeset |
files
|
2010-06-23 |
Christian Urban |
added comment about partial equivalence relations
|
changeset |
files
|
2010-06-23 |
Christian Urban |
even further polishing of the qpaper
|
changeset |
files
|
2010-06-23 |
Christian Urban |
polished paper again (and took out some claims about Homeier's package)
|
changeset |
files
|
2010-06-23 |
Christian Urban |
some slight polishing on the paper
|
changeset |
files
|
2010-06-23 |
Christian Urban |
merged cezary's changes
|
changeset |
files
|
2010-06-23 |
Christian Urban |
whitespace
|
changeset |
files
|
2010-06-23 |
Cezary Kaliszyk |
Un-do the second change to SingleLet.
|
changeset |
files
|
2010-06-23 |
Cezary Kaliszyk |
merge
|
changeset |
files
|
2010-06-23 |
Cezary Kaliszyk |
Changes for PER and list_all2 committed to Isabelle
|
changeset |
files
|
2010-06-18 |
Cezary Kaliszyk |
changes for partial-equivalence quotient package
|
changeset |
files
|
2010-06-23 |
Christian Urban |
deleted compose-lemmas in Abs (not needed anymore)
|
changeset |
files
|
2010-06-23 |
Christian Urban |
deleted equivp_hack
|
changeset |
files
|
2010-06-22 |
Christian Urban |
proved eqvip theorems for alphas
|
changeset |
files
|
2010-06-22 |
Christian Urban |
cleaned up the FSet (noise was introduced by error)
|
changeset |
files
|
2010-06-22 |
Christian Urban |
prove that alpha implies alpha_bn (needed for rsp proofs)
|
changeset |
files
|
2010-06-21 |
Christian Urban |
further post-submission tuning
|
changeset |
files
|
2010-06-21 |
Christian Urban |
merged with main line
|
changeset |
files
|
2010-06-21 |
Christian Urban |
merged
|
changeset |
files
|
2010-06-11 |
Christian Urban |
also symmetry
|
changeset |
files
|
2010-06-10 |
Christian Urban |
merged
|
changeset |
files
|
2010-06-10 |
Christian Urban |
premerge
|
changeset |
files
|
2010-06-09 |
Christian Urban |
transitivity proofs done
|
changeset |
files
|