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/CCL/Set.thy
2017-08-18
wenzelm
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
file
|
diff
|
annotate
2016-01-11
wenzelm
eliminated old defs;
file
|
diff
|
annotate
2016-01-01
wenzelm
isabelle update_cartouches -c -t;
file
|
diff
|
annotate
2015-07-23
wenzelm
isabelle update_cartouches;
file
|
diff
|
annotate
2014-11-11
wenzelm
more symbols;
file
|
diff
|
annotate
2014-11-02
wenzelm
modernized header uniformly as section;
file
|
diff
|
annotate
2014-02-10
wenzelm
prefer vacuous definitional type classes over axiomatic ones;
file
|
diff
|
annotate
2012-07-24
wenzelm
more session ROOT files;
file
|
diff
|
annotate
2011-03-29
wenzelm
modernized specifications -- less axioms;
file
|
diff
|
annotate
2011-01-12
wenzelm
eliminated global prems;
file
|
diff
|
annotate
2010-09-03
wenzelm
turned eta_contract into proper configuration option;
file
|
diff
|
annotate
2010-08-17
haftmann
deglobalization
file
|
diff
|
annotate
2010-02-11
wenzelm
modernized translations;
file
|
diff
|
annotate
2010-02-08
wenzelm
modernized some syntax translations;
file
|
diff
|
annotate
2009-07-23
wenzelm
misc modernization: proper method setup instead of adhoc ML proofs;
file
|
diff
|
annotate
2007-10-03
wenzelm
avoid unnamed infixes;
file
|
diff
|
annotate
2006-07-18
wenzelm
removed obsolete ML files;
file
|
diff
|
annotate
2005-09-17
wenzelm
converted to Isar theory format;
file
|
diff
|
annotate
1997-10-20
wenzelm
adapted to qualified names;
file
|
diff
|
annotate
1997-10-10
wenzelm
fixed dots;
file
|
diff
|
annotate
1994-03-17
clasohm
adapted type definition to new syntax
file
|
diff
|
annotate
1993-09-16
clasohm
Initial revision
file
|
diff
|
annotate
less
more
(0)
tip