Thu, 07 Jul 2016 12:08:00 +0200 wenzelm basic setup for indentation;
Thu, 07 Jul 2016 12:02:58 +0200 wenzelm tuned;
Thu, 07 Jul 2016 11:46:18 +0200 wenzelm more operations;
Sun, 10 Jul 2016 22:05:18 +0200 Lars Hupel tuned
Sat, 09 Jul 2016 13:26:16 +0200 haftmann more lemmas to emphasize {0::nat..(<)n} as canonical representation of intervals on nat
Fri, 08 Jul 2016 23:43:11 +0200 haftmann avoid to hide equality behind (output) abbreviation
Fri, 08 Jul 2016 23:43:11 +0200 haftmann default rule for single-step reasoning
Fri, 08 Jul 2016 19:35:31 +0200 nipkow new style dummy_pats
Fri, 08 Jul 2016 16:38:31 +0200 nipkow added path_len
Thu, 07 Jul 2016 18:08:10 +0200 nipkow merged
Thu, 07 Jul 2016 18:08:02 +0200 nipkow got rid of class cmp; added height-size proofs by Daniel Stuewe
Thu, 07 Jul 2016 17:34:39 +0200 fleury more instantiations for multiset
Thu, 07 Jul 2016 09:24:03 +0200 blanchet moved lemmas and locales around (with minor incompatibilities)
Thu, 07 Jul 2016 00:43:27 +0200 blanchet updated example
Wed, 06 Jul 2016 23:19:28 +0200 blanchet leverage new 'order' type class instantiation in multiset
Wed, 06 Jul 2016 23:19:27 +0200 blanchet updated examples
Wed, 06 Jul 2016 22:52:10 +0200 wenzelm merged
Wed, 06 Jul 2016 20:19:51 +0200 wenzelm misc tuning and modernization;
Wed, 06 Jul 2016 14:09:13 +0200 wenzelm proper signature;
Wed, 06 Jul 2016 11:29:51 +0200 wenzelm tuned signature;
Wed, 06 Jul 2016 13:45:52 +0200 Lars Hupel simplify build scripts
Tue, 05 Jul 2016 23:39:49 +0200 wenzelm misc tuning and modernization;
Tue, 05 Jul 2016 22:47:48 +0200 wenzelm more antiquotations;
Tue, 05 Jul 2016 22:23:17 +0200 wenzelm tuned;
Tue, 05 Jul 2016 21:23:21 +0200 wenzelm merged
Tue, 05 Jul 2016 20:51:02 +0200 wenzelm PIDE reports of implicit variable scope;
Tue, 05 Jul 2016 14:20:27 +0200 wenzelm PIDE reports of implicit variable scope;
Tue, 05 Jul 2016 10:32:25 +0200 wenzelm tuned;
Tue, 05 Jul 2016 20:29:58 +0200 hoelzl Probability: simplified Levy's uniqueness theorem
Tue, 05 Jul 2016 18:00:21 +0200 blanchet avoid reference to invisible theorem, by using another one instead (suggested by Anders Schlichtkrull; the document's author is incomunicado)
Tue, 05 Jul 2016 17:52:08 +0200 blanchet tuning
Tue, 05 Jul 2016 17:52:08 +0200 blanchet typo (reported by Anders Schlichtkrull)
Tue, 05 Jul 2016 11:47:49 +0200 hoelzl simplified proof for measurability of isCont
Tue, 05 Jul 2016 13:05:04 +0200 fleury instantiate multiset with multiset ordering
Tue, 05 Jul 2016 10:26:23 +0200 Lars Hupel more accurate total timing
Tue, 05 Jul 2016 09:50:20 +0200 Lars Hupel merged
Mon, 04 Jul 2016 18:20:51 +0200 Lars Hupel tuned
Mon, 04 Jul 2016 20:51:04 +0200 wenzelm merged
Mon, 04 Jul 2016 20:48:55 +0200 wenzelm NEWS;
Mon, 04 Jul 2016 20:33:47 +0200 wenzelm clarified positions, e.g. for reports on literal facts;
Mon, 04 Jul 2016 20:01:57 +0200 wenzelm tuned whitespace;
Mon, 04 Jul 2016 19:57:56 +0200 wenzelm tuned;
Mon, 04 Jul 2016 19:39:59 +0200 wenzelm tuned;
Mon, 04 Jul 2016 19:49:25 +0200 haftmann spelling
Mon, 04 Jul 2016 19:46:20 +0200 haftmann combinator to build partial equivalence relations from a predicate and an equivalenc relation
Mon, 04 Jul 2016 19:46:20 +0200 haftmann default one-step rules for predicates on relations;
Mon, 04 Jul 2016 19:46:20 +0200 haftmann basic facts about almost everywhere fix bijections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann dedicated locale for total bijections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann tuned sections
Mon, 04 Jul 2016 19:46:19 +0200 haftmann relating gbinomial and binomial, still using distinct definitions
Mon, 04 Jul 2016 19:08:54 +0200 wenzelm clarified fact position, notably for reports on literal facts;
Mon, 04 Jul 2016 14:51:19 +0200 wenzelm more accurate facts index;
Mon, 04 Jul 2016 11:11:19 +0200 wenzelm tuned signature;
Mon, 04 Jul 2016 10:29:56 +0200 wenzelm tuned signature;
Sat, 02 Jul 2016 20:22:25 +0200 haftmann simplified definitions of combinatorial functions
Sat, 02 Jul 2016 15:02:24 +0200 haftmann define binomial coefficents directly via combinatorial definition
Sat, 02 Jul 2016 08:41:05 +0200 haftmann more theorems
Sat, 02 Jul 2016 08:41:05 +0200 haftmann abstract and concrete multiplicative groups
Sat, 02 Jul 2016 08:41:05 +0200 haftmann more correct comment
Fri, 01 Jul 2016 16:52:54 +0200 wenzelm clarified;
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 tip