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
+10000
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.
somewhat more uniform THIS;
20110811, by wenzelm
more trimming;
20110811, by wenzelm
recovered some ML toplevel pp;
20110811, by wenzelm
some trimming;
20110811, by wenzelm
prefix of Pure/ROOT.ML required for concurrency within the ML runtime;
20110811, by wenzelm
redundant use of misc_legacy.ML;
20110811, by wenzelm
eliminated use of recdef
20110811, by krauss
removed obsolete recdefrelated examples
20110811, by krauss
removed unused material, which does not really belong here
20110811, by krauss
merged
20110810, by huffman
avoid warnings about duplicate rules
20110810, by huffman
follow standard naming scheme for sgn_vec_def
20110810, by huffman
remove several redundant and unused theorems about derivatives
20110810, by huffman
remove redundant lemma
20110810, by huffman
simplify proof of lemma bounded_component
20110810, by huffman
simplify some proofs
20110810, by huffman
more uniform naming scheme for finite cartesian product type and related theorems
20110810, by huffman
move euclidean_space instance from Cartesian_Euclidean_Space.thy to Finite_Cartesian_Product.thy
20110810, by huffman
merged
20110810, by wenzelm
split Linear_Algebra.thy from Euclidean_Space.thy
20110810, by huffman
full import paths
20110810, by huffman
declare tendsto_const [intro] (accidentally removed in 230a8665c919)
20110810, by huffman
merged
20110810, by huffman
simplified definition of class euclidean_space;
20110810, by huffman
bounded_linear interpretation for euclidean_component
20110809, by huffman
lemma bounded_linear_intro
20110809, by huffman
avoid duplicate rewrite warnings
20110809, by huffman
mark some redundant theorems as legacy
20110809, by huffman
Derivative.thy: more sensible subsection headings
20110809, by huffman
Derivative.thy: clean up formatting
20110809, by huffman
instance real_basis_with_inner < perfect_space
20110808, by huffman
old term operations are legacy;
20110810, by wenzelm
moved old code generator to src/Tools/;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
avoid OldTerm operations  with subtle changes of semantics;
20110810, by wenzelm
tuned signature;
20110810, by wenzelm
Goal.forked: clarified handling of interrupts;
20110810, by wenzelm
future_job: explicit indication of interrupts;
20110810, by wenzelm
more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;
20110810, by wenzelm
synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries;
20110810, by wenzelm
tuned source structure;
20110810, by wenzelm
bash_output_fifo blocks on Cygwin 1.7.x;
20110810, by wenzelm
rename_bvs now avoids introducing name clashes between schematic variables
20110809, by berghofe
merged
20110809, by wenzelm
tuned proofs
20110809, by haftmann
merged
20110809, by haftmann
tuned header
20110809, by haftmann
more uniform naming scheme for Inf/INF and Sup/SUP lemmas
20110809, by haftmann
removed "extremely ambigous" warning; has been ignored by everyone for years.
20110809, by kleing
misc tuning and clarification;
20110809, by wenzelm
tuned whitespace;
20110809, by wenzelm
support local HOATPs
20110809, by blanchet
document local HOATPs
20110809, by blanchet
workaround THF parser limitation
20110809, by blanchet
LEOII also supports FOF
20110809, by blanchet
misc tuning and simplification;
20110809, by wenzelm
updated documentation of method "split" according to e6a4bb832b46;
20110809, by wenzelm
updated references to CADE23
20110809, by blanchet
less
more

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