Mon, 12 Sep 2011 14:49:34 -0700 huffman fix typo
Mon, 12 Sep 2011 14:39:10 -0700 huffman shorten proof of frontier_straddle
Mon, 12 Sep 2011 13:19:10 -0700 huffman NEWS and CONTRIBUTORS
Mon, 12 Sep 2011 11:54:20 -0700 huffman remove redundant lemma Lim_sequentially in favor of lemma LIMSEQ_def
Mon, 12 Sep 2011 11:39:29 -0700 huffman simplify proofs using LIMSEQ lemmas
Mon, 12 Sep 2011 10:43:36 -0700 huffman remove trivial lemma Lim_at_iff_LIM
Mon, 12 Sep 2011 10:28:45 -0700 huffman fix typos
Mon, 12 Sep 2011 09:37:49 -0700 huffman NEWS for euclidean_space class
Mon, 12 Sep 2011 09:21:01 -0700 huffman move lemmas about complex number 'i' to Complex.thy and Library/Inner_Product.thy
Mon, 12 Sep 2011 09:57:33 -0400 hoelzl adding NEWS and CONTRIBUTORS
Mon, 12 Sep 2011 13:35:35 +0200 bulwahn merged
Mon, 12 Sep 2011 12:33:37 +0200 bulwahn correcting imports after splitting and renaming AssocList
Mon, 12 Sep 2011 10:59:38 +0200 bulwahn tuned
Mon, 12 Sep 2011 10:57:58 +0200 bulwahn moving connection of association lists to Mappings into a separate theory
Mon, 12 Sep 2011 10:27:36 +0200 bulwahn adding NEWS and CONTRIBUTORS
Mon, 12 Sep 2011 09:45:53 +0200 bulwahn tuned some symbol that probably went there by some strange encoding issue
Mon, 12 Sep 2011 11:05:32 +0200 blanchet added my contributions to NEWS and CONTRIBUTORS
Mon, 12 Sep 2011 10:49:37 +0200 blanchet fixed type intersection (again)
Mon, 12 Sep 2011 10:49:37 +0200 blanchet consistent option naming
Mon, 12 Sep 2011 09:07:23 +0200 nipkow NEWS fastsimp -> fastforce
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Sun, 11 Sep 2011 22:56:05 +0200 wenzelm merged
Sun, 11 Sep 2011 13:49:42 -0700 huffman NEWS for Library/Product_Lattice.thy
Sun, 11 Sep 2011 22:55:26 +0200 wenzelm misc tuning and clarification;
Sun, 11 Sep 2011 21:35:35 +0200 wenzelm merged
Sun, 11 Sep 2011 10:30:50 -0700 huffman merged
Sun, 11 Sep 2011 09:40:18 -0700 huffman tuned proofs
Sun, 11 Sep 2011 07:21:45 -0700 huffman Library/Saturated.thy: 'Sat' abbreviates 'of_nat'
Sun, 11 Sep 2011 21:34:23 +0200 wenzelm more CONTRIBUTORS;
Sun, 11 Sep 2011 20:19:20 +0200 wenzelm persistent ISABELLE_INTERFACE_CHOICE;
Sun, 11 Sep 2011 19:52:09 +0200 wenzelm explicit choice of interface;
Sun, 11 Sep 2011 17:30:01 +0200 wenzelm more orthogonal signature;
Sun, 11 Sep 2011 15:20:09 +0200 wenzelm updates for release;
Sun, 11 Sep 2011 14:58:52 +0200 wenzelm misc tuning and clarification (NB: settings are already local for named snapshots/releases);
Sun, 11 Sep 2011 14:42:15 +0200 wenzelm some updates of PLATFORMS;
Sun, 11 Sep 2011 13:27:22 +0200 wenzelm more README;
Sat, 10 Sep 2011 23:28:58 +0200 wenzelm merged
Sat, 10 Sep 2011 22:43:17 +0200 krauss mem_prs and mem_rsp in accordance with sets-as-predicates representation (backported from AFP/Coinductive)
Sat, 10 Sep 2011 23:27:32 +0200 wenzelm misc tuning;
Sat, 10 Sep 2011 22:11:55 +0200 wenzelm misc tuning and clarification;
Sat, 10 Sep 2011 21:47:55 +0200 wenzelm speed up slow proof;
Sat, 10 Sep 2011 20:41:27 +0200 wenzelm merged
Sat, 10 Sep 2011 19:44:41 +0200 haftmann more modularization
Sat, 10 Sep 2011 20:39:13 +0200 wenzelm stronger colors (as background);
Sat, 10 Sep 2011 20:22:22 +0200 wenzelm some color scheme for theory status;
Sat, 10 Sep 2011 16:30:08 +0200 wenzelm some keyboard shortcuts for important actions;
Sat, 10 Sep 2011 14:48:06 +0200 wenzelm explicit jEdit actions -- to enable key mappings, for example;
Sat, 10 Sep 2011 14:28:07 +0200 wenzelm more symbolic file positions via smart replacement of ISABELLE_HOME -- allows Isabelle distribution to be moved later on;
Sat, 10 Sep 2011 13:43:09 +0200 wenzelm tuned usage;
Sat, 10 Sep 2011 13:41:03 +0200 wenzelm simplified default Isabelle application wrapper (NB: build process is already part of isabelle jedit tool);
Sat, 10 Sep 2011 10:29:24 +0200 haftmann renamed theory Complete_Lattice to Complete_Lattices, in accordance with Lattices, Orderings etc.
Sat, 10 Sep 2011 00:44:25 +0200 blanchet fixed definition of type intersection (soundness bug)
Sat, 10 Sep 2011 00:44:25 +0200 blanchet continue with minimization in debug mode in spite of unsoundness
Fri, 09 Sep 2011 09:31:04 -0700 huffman generalize lemma of_nat_number_of_eq to class number_semiring
Fri, 09 Sep 2011 15:14:59 +0200 bulwahn merged
Fri, 09 Sep 2011 14:43:50 +0200 bulwahn stating more explicitly our expectation that these two terms have the same term structure
Fri, 09 Sep 2011 12:33:09 +0200 bulwahn revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
Fri, 09 Sep 2011 14:30:57 +0200 blanchet made SML/NJ happy
Thu, 08 Sep 2011 12:23:11 +0200 noschinl call ghc with -XEmptyDataDecls
Fri, 09 Sep 2011 06:47:14 +0200 nipkow merged
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip