Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-300
-100
-50
-30
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
NEWS
2004-03-11
webertj
refute
file
|
diff
|
annotate
2004-03-03
schirmer
added record_ex_sel_eq_simproc
file
|
diff
|
annotate
2004-03-01
kleing
union/intersection over intervals
file
|
diff
|
annotate
2004-02-19
paulson
removal of the legacy ML structure List
file
|
diff
|
annotate
2004-02-19
ballarin
New lemmas about inversion of restricted functions.
file
|
diff
|
annotate
2004-02-19
ballarin
Efficient, graph-based reasoner for linear and partial orders.
file
|
diff
|
annotate
2004-02-16
paulson
arith
file
|
diff
|
annotate
2004-02-10
nipkow
*** empty log message ***
file
|
diff
|
annotate
2004-02-04
nipkow
*** empty log message ***
file
|
diff
|
annotate
2004-01-26
schirmer
* Support for raw latex output in control symbols: \<^raw...>
file
|
diff
|
annotate
2003-12-29
kleing
\<^bsub> .. \<^esub>
file
|
diff
|
annotate
2003-12-10
ballarin
Isar: where attribute supports instantiation of type vars.
file
|
diff
|
annotate
2003-12-06
kleing
moreover and also do not reset facts any more
file
|
diff
|
annotate
2003-11-14
ballarin
Type inference bug in Isar attributes "where" and "of" fixed.
file
|
diff
|
annotate
2003-11-06
schirmer
Records:
file
|
diff
|
annotate
2003-11-06
ballarin
Isar/Locales: <loc>.intro and <loc>.axioms no longer intro? and elim? by
file
|
diff
|
annotate
2003-10-22
paulson
recursion
file
|
diff
|
annotate
2003-10-16
paulson
line-breaks; rewording
file
|
diff
|
annotate
2003-10-15
kleing
use \<^isub> and \<^isup> in identifiers instead of just \<^sub> (avoid
file
|
diff
|
annotate
2003-10-14
kleing
allow \<^sub> in identifiers
file
|
diff
|
annotate
2003-10-09
skalberg
Added info on the new 'finalconsts' command.
file
|
diff
|
annotate
2003-09-30
ballarin
Improvements to Isar/Locales: premises generated by "includes" elements
file
|
diff
|
annotate
2003-09-23
paulson
new session HOL-SET-Protocol
file
|
diff
|
annotate
2003-08-29
ballarin
Method rule_tac understands Isar contexts: documentation.
file
|
diff
|
annotate
2003-08-29
skalberg
Removed the extended digits again.
file
|
diff
|
annotate
2003-08-28
skalberg
Fixed typos.
file
|
diff
|
annotate
2003-08-27
skalberg
Extended the notion of letter and digit, such that now one may use greek,
file
|
diff
|
annotate
2003-07-29
kleing
opened new section for next Isabelle release
file
|
diff
|
annotate
2003-07-21
skalberg
Added the specification command.
file
|
diff
|
annotate
2003-05-12
ballarin
Improved entry on Algebra.
file
|
diff
|
annotate
less
more
(0)
-300
-100
-50
-30
tip