Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/ZF/Constructible/WFrec.thy
2012-03-06
paulson
More mathematical symbols for ZF examples
file
|
diff
|
annotate
2009-10-17
wenzelm
eliminated hard tabulators, guessing at each author's individual tab-width;
file
|
diff
|
annotate
2006-11-17
wenzelm
more robust syntax for definition/abbreviation/notation;
file
|
diff
|
annotate
2006-11-07
wenzelm
tuned specifications;
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2002-11-19
paulson
stylistic tweaks
file
|
diff
|
annotate
2002-10-09
paulson
Re-organization of Constructible theories
file
|
diff
|
annotate
2002-10-01
paulson
Numerous cosmetic changes, prompted by the new simplifier
file
|
diff
|
annotate
2002-09-10
paulson
renamed M_triv_axioms to M_trivial and M_axioms to M_basic
file
|
diff
|
annotate
2002-08-16
paulson
Various tweaks of the presentation
file
|
diff
|
annotate
2002-08-16
paulson
Relativized right up to L satisfies V=L!
file
|
diff
|
annotate
2002-07-28
wenzelm
eliminate open locales and special ML code;
file
|
diff
|
annotate
2002-07-16
wenzelm
adapted locales;
file
|
diff
|
annotate
2002-07-12
paulson
towards relativization of "iterates" and "wfrec"
file
|
diff
|
annotate
2002-07-12
paulson
new definitions of fun_apply and M_is_recfun
file
|
diff
|
annotate
2002-07-11
paulson
tidied
file
|
diff
|
annotate
2002-07-11
paulson
Separation/Replacement up to M_wfrank!
file
|
diff
|
annotate
2002-07-10
paulson
Fixed quantified variable name preservation for ball and bex (bounded quants)
file
|
diff
|
annotate
2002-07-09
paulson
More Separation proofs
file
|
diff
|
annotate
2002-07-05
paulson
more internalized formulas and separation proofs
file
|
diff
|
annotate
2002-07-04
paulson
More use of relativized quantifiers
file
|
diff
|
annotate
2002-07-04
wenzelm
document setup;
file
|
diff
|
annotate
2002-07-04
paulson
tweaks
file
|
diff
|
annotate
2002-07-02
paulson
Tidying and introduction of various new theorems
file
|
diff
|
annotate
2002-07-01
paulson
more use of relativized quantifiers
file
|
diff
|
annotate
2002-06-28
paulson
class quantifiers (some)
file
|
diff
|
annotate
2002-06-26
paulson
new treatment of wfrec, replacing wf[A](r) by wf(r)
file
|
diff
|
annotate
2002-06-26
paulson
towards absoluteness of wfrec-defined functions
file
|
diff
|
annotate
2002-06-24
paulson
development and tweaks
file
|
diff
|
annotate
2002-06-19
paulson
new theory of inner models
file
|
diff
|
annotate
less
more
(0)
tip