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/HOL/HoareParallel/RG_Examples.thy
2005-07-07
nipkow
linear arithmetic now takes "&" in assumptions apart.
file
|
diff
|
annotate
2005-06-17
haftmann
migrated theory headers to new format
file
|
diff
|
annotate
2005-05-02
nipkow
fixed
file
|
diff
|
annotate
2005-03-02
nipkow
another reorganization of setsums and intervals
file
|
diff
|
annotate
2004-08-03
paulson
new simprules Int_subset_iff and Un_subset_iff
file
|
diff
|
annotate
2004-07-15
nipkow
Moved to new m<..<n syntax for set intervals.
file
|
diff
|
annotate
2004-07-14
nipkow
?
file
|
diff
|
annotate
2004-07-13
nipkow
Got rid of Summation and made it a translation into setsum instead.
file
|
diff
|
annotate
2003-08-29
ballarin
Methods rule_tac etc support static (Isar) contexts.
file
|
diff
|
annotate
2002-09-30
berghofe
Adapted to new simplifier.
file
|
diff
|
annotate
2002-08-23
nipkow
Added div+mod cancelling simproc
file
|
diff
|
annotate
2002-05-30
nipkow
Modifications due to enhanced linear arithmetic.
file
|
diff
|
annotate
2002-05-06
nipkow
Added insert_disjoint and disjoint_insert [simp], and simplified proofs
file
|
diff
|
annotate
2002-04-29
prensani
added abstract;corrected RG_Basic Hoare rule.
file
|
diff
|
annotate
2002-03-05
prensani
HoareParallel Theories
file
|
diff
|
annotate
less
more
(0)
tip