Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
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.
minor tuning and simplification;
2010-03-13, by wenzelm
removed obsolete HOL/Library/Coinductive_List.thy, superceded by thys/Coinductive/Coinductive_List.thy in AFP/f2f5727b77d0;
2010-03-13, by wenzelm
removed old CVS Ids;
2010-03-13, by wenzelm
reverted fe9b43a08187 -- "warning" is a perfectly normal way of tactics to emit spurious messages (although "arith" could be less chatty), while "priority" is a special Proof General protocol message;
2010-03-13, by wenzelm
merged
2010-03-13, by wenzelm
merged
2010-03-12, by bulwahn
adopting predicate compiler to changes in Spec_Rules; removed dependency to Nitpick_Intros
2010-03-12, by bulwahn
adding Spec_Rules to definitional package inductive and inductive_set
2010-03-12, by bulwahn
refining and adding Spec_Rules to definitional packages old_primrec, primrec, recdef, size and function
2010-03-12, by bulwahn
merged
2010-03-12, by nipkow
Reorganized Hoare logic theories; added Hoare_Den
2010-03-12, by nipkow
merged
2010-03-12, by hoelzl
reset smt_certificates
2010-03-09, by himmelma
added lemmas
2010-03-09, by himmelma
merged
2010-03-12, by nipkow
Added Hoare_Op.thy
2010-03-12, by nipkow
Equality of integral and infinite sum.
2010-03-12, by hoelzl
make tests less demanding, to prevent sporadic failures
2010-03-12, by blanchet
more antiquotations;
2010-03-13, by wenzelm
command 'typedef' now works within a local theory context;
2010-03-13, by wenzelm
removed obsolete HOL 'typedecl';
2010-03-13, by wenzelm
adapted to localized typedef: handle single global interpretation only;
2010-03-13, by wenzelm
global typedef;
2010-03-13, by wenzelm
localized typedef;
2010-03-13, by wenzelm
added typedecl_wrt, which affects default sorts of type args;
2010-03-13, by wenzelm
Local_Defs.contract convenience;
2010-03-13, by wenzelm
added Local_Theory.alias operations (independent of target);
2010-03-13, by wenzelm
merged
2010-03-11, by wenzelm
merged
2010-03-11, by nipkow
converted proofs to Isar
2010-03-11, by nipkow
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
+10000
+30000
tip