Mercurial
Mercurial
>
hg
>
nominal2
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
help
less
more
|
(0)
-1000
-120
+120
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.
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
minor things
2010-07-18, by Christian Urban
some test with quotient
2010-07-18, by Christian Urban
some minor changes
2010-07-17, by Christian Urban
changes suggested by Peter Homeier
2010-07-17, by Christian Urban
tests
2010-07-17, by Christian Urban
submitted version
2010-07-16, by Christian Urban
more paper
2010-07-16, by Christian Urban
more on the paper
2010-07-16, by Christian Urban
more on the paper
2010-07-16, by Christian Urban
a bit more to the paper
2010-07-15, by Christian Urban
more on the paper
2010-07-14, by Christian Urban
more on slides
2010-07-13, by Christian Urban
slides
2010-07-13, by Christian Urban
more on slides
2010-07-12, by Christian Urban
slides
2010-07-11, by Christian Urban
slides
2010-07-11, by Christian Urban
more on slides
2010-07-10, by Christian Urban
more on slides
2010-07-10, by Christian Urban
added material for slides
2010-07-10, by Christian Urban
fixed
2010-07-09, by Christian Urban
before examples
2010-07-09, by Christian Urban
finished alpha-section
2010-07-09, by Christian Urban
more on the paper
2010-07-07, by Christian Urban
more on the paper
2010-07-07, by Christian Urban
more on the paper
2010-07-02, by Christian Urban
finished fv-section
2010-07-02, by Christian Urban
more on the paper
2010-07-01, by Christian Urban
spell check
2010-07-01, by Christian Urban
more work on the paper
2010-06-30, by Christian Urban
removed an "eqvt"-warning
2010-06-29, by Christian Urban
more quotient-definitions
2010-06-28, by Christian Urban
slight cleaning
2010-06-28, by Christian Urban
fixed according to changes in quotient
2010-06-27, by Christian Urban
added definition of the quotient types
2010-06-24, by Christian Urban
fixed according to changes in quotient
2010-06-24, by Christian Urban
added comment about partial equivalence relations
2010-06-24, by Christian Urban
even further polishing of the qpaper
2010-06-24, by Christian Urban
polished paper again (and took out some claims about Homeier's package)
2010-06-23, by Christian Urban
some slight polishing on the paper
2010-06-23, by Christian Urban
merged cezary's changes
2010-06-23, by Christian Urban
whitespace
2010-06-23, by Christian Urban
Un-do the second change to SingleLet.
2010-06-23, by Cezary Kaliszyk
merge
2010-06-23, by Cezary Kaliszyk
Changes for PER and list_all2 committed to Isabelle
2010-06-23, by Cezary Kaliszyk
changes for partial-equivalence quotient package
2010-06-18, by Cezary Kaliszyk
deleted compose-lemmas in Abs (not needed anymore)
2010-06-23, by Christian Urban
deleted equivp_hack
2010-06-23, by Christian Urban
proved eqvip theorems for alphas
2010-06-22, by Christian Urban
cleaned up the FSet (noise was introduced by error)
2010-06-22, by Christian Urban
prove that alpha implies alpha_bn (needed for rsp proofs)
2010-06-22, by Christian Urban
further post-submission tuning
2010-06-21, by Christian Urban
merged with main line
2010-06-21, by Christian Urban
merged
2010-06-21, by Christian Urban
also symmetry
2010-06-11, by Christian Urban
merged
2010-06-10, by Christian Urban
premerge
2010-06-10, by Christian Urban
transitivity proofs done
2010-06-09, by Christian Urban
merged
2010-06-07, by Christian Urban
work on transitivity proof
2010-06-07, by Christian Urban
added uminus_eqvt
2010-06-03, by Christian Urban
fixed problem with eqvt proofs
2010-06-03, by Christian Urban
fixed problem with bn_info
2010-06-02, by Christian Urban
merged
2010-06-01, by Christian Urban
equivariance done
2010-06-01, by Christian Urban
smaller code for raw-eqvt proofs
2010-06-01, by Christian Urban
all raw definitions are defined using function
2010-05-31, by Christian Urban
merged
2010-05-27, by Christian Urban
intermediate state
2010-05-27, by Christian Urban
merged
2010-05-26, by Christian Urban
added FSet to the correct paper
2010-05-26, by Christian Urban
added slides
2010-05-25, by Christian Urban
tuned
2010-05-24, by Christian Urban
tuned
2010-05-24, by Christian Urban
alpha works now
2010-05-24, by Christian Urban
started to work on alpha
2010-05-23, by Christian Urban
properly exported bn_descr
2010-05-22, by Christian Urban
hving a working fv-definition without the export
2010-05-21, by Christian Urban
tuned
2010-05-21, by Christian Urban
proper parser for "exclude:"
2010-05-21, by Christian Urban
tuned
2010-05-20, by Christian Urban
moved some mk_union and mk_diff into the library
2010-05-20, by Christian Urban
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-05-20, by Christian Urban
some post-submission polishing
2010-06-21, by Christian Urban
added a few points that need to be looked at the next version of the qpaper
2010-06-21, by Christian Urban
eliminated a quot_thm flag
2010-06-21, by Christian Urban
fixed example
2010-06-20, by Christian Urban
small addition to the acknowledgement
2010-06-20, by Christian Urban
qpaper / address FIXMEs.
2010-06-17, by Cezary Kaliszyk
less
more
|
(0)
-1000
-120
+120
tip