Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
more compact XML;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
proper ML names;
20 months ago, by wenzelm
clarified standard_proof_of: prefer expand_proof over somewhat adhoc strip_thm_proof;
20 months ago, by wenzelm
some treatment of OfClass proofs;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
proper treatment of axm_proof/oracle_proof like a closed proof constant, e.g. relevant for proof reconstruction of List.list.full_exhaustive_list.simps;
20 months ago, by wenzelm
clarified oracle_proof;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
more compact XML representation;
20 months ago, by wenzelm
proper generalize_proof: schematic variables need to be explicit in the resulting proof term (for shrink/reconstruct operation);
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned  more direct ML expressions;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
tuned whitespace;
20 months ago, by wenzelm
more accurate treatment of propositions within proof terms, but these are ultimately ignored for performance reasons;
20 months ago, by wenzelm
unused;
20 months ago, by wenzelm
document antiquotations + clarify porting text slightly
20 months ago, by blanchet
updated veriT part of Sledgehammer documentation
20 months ago, by blanchet
added para constrasting 'primrec' and 'fun'  and removed my middle name
20 months ago, by blanchet
dedicated fact collections for algebraic simplification rules potentially splitting goals
20 months ago, by haftmann
merged
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned  allow slightly more expensive atomic proofs;
20 months ago, by wenzelm
clarified signature  some operations to support fully explicit proof terms;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper treatment of sorts;
20 months ago, by wenzelm
tuned app_types: more direct map_proof_types_same;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
generalized parsing, for e.g. LeoIII
20 months ago, by blanchet
More theorems about limits, including cancellation simprules
20 months ago, by paulson
Generalised two results concerning limits from the real numbers to type classes
20 months ago, by paulson
formally augmented corresponding rules for field_simps
20 months ago, by haftmann
clarified option type;
20 months ago, by wenzelm
count document nodes via raw file length;
20 months ago, by wenzelm
merged
20 months ago, by wenzelm
clarified Load_State / load_limit;
20 months ago, by wenzelm
clarified Load_State;
20 months ago, by wenzelm
discontinued pointless dump_checkpoint and share_common_data  superseded by base logic image in Isabelle/MMT;
20 months ago, by wenzelm
count nodes uniformly: avoid overloaded session;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
simplified proof
20 months ago, by nipkow
tuned signature;
20 months ago, by wenzelm
clarified signature: more options;
20 months ago, by wenzelm
clarified signature: read full session requirements;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
clarified options  more scalable;
20 months ago, by wenzelm
obsolete;
20 months ago, by wenzelm
proper replacement for (map_types (K dummyT));
20 months ago, by wenzelm
Term_XML.Encode/Decode.term uses Const "typargs";
20 months ago, by wenzelm
prefer atomic edits  potentially more robust;
20 months ago, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+100
+300
+1000
+3000
tip