21 Jul 12:13 2016Makarius
*PLATFORMS: Linux base-line is Ubuntu 12.04 LTS
21 Jul 12:09 2016Makarius
*NEWS:
27 Jul 10:46 2016Manuel Eberl
**NEWS: Primes
27 Jul 11:24 2016Tobias Nipkow
***NEWS: Primes
21 Jul 12:06 2016Makarius
*NEWS: Proof methods "simp" and "simp_all" in Pure
21 Jul 12:03 2016Makarius
*NEWS: Proof method "use" in Pure
19 Jul 12:03 2016Manuel Eberl
*multiplicity and prime numbers
19 Jul 12:18 2016Tobias Nipkow
**multiplicity and prime numbers
19 Jul 12:24 2016Manuel Eberl
***multiplicity and prime numbers
19 Jul 12:26 2016Mario Carneiro
****multiplicity and prime numbers
19 Jul 13:14 2016Lawrence Paulson
****multiplicity and prime numbers
19 Jul 13:09 2016Lawrence Paulson
**multiplicity and prime numbers
19 Jul 13:39 2016Johannes Hölzl
***multiplicity and prime numbers
19 Jul 14:43 2016Manuel Eberl
****multiplicity and prime numbers
16 Jul 16:37 2016Makarius
*Jenkins SPAM reduction
16 Jul 18:15 2016Lars Hupel
**Jenkins SPAM reduction
16 Jul 14:42 2016Manuel Eberl
*Broken AFP
16 Jul 13:14 2016Makarius
*NEWS: proof outline with cases
15 Jul 15:36 2016Makarius
*NEWS: Indentation according to Isabelle outer syntax
14 Jul 17:50 2016Lawrence Paulson
*\nexists
15 Jul 11:30 2016Makarius
**\nexists
15 Jul 13:53 2016Johannes Hölzl
***\nexists
15 Jul 12:15 2016Tobias Nipkow
**\nexists
15 Jul 13:53 2016Johannes Hölzl
***\nexists
15 Jul 15:32 2016Makarius
****\nexists
15 Jul 15:46 2016Lars Hupel
*****\nexists
15 Jul 16:53 2016Makarius
******\nexists
15 Jul 17:21 2016Lars Hupel
*******\nexists
15 Jul 20:22 2016Makarius
********\nexists
15 Jul 17:08 2016Tobias Nipkow
*****\nexists
15 Jul 20:33 2016Makarius
******\nexists
15 Jul 21:47 2016Joachim Breitner
*******\nexists
16 Jul 00:03 2016Lars Hupel
********\nexists
16 Jul 00:16 2016Lars Hupel
*******\nexists
16 Jul 14:26 2016Tobias Nipkow
*******\nexists
16 Jul 16:09 2016Makarius
********\nexists
16 Jul 16:37 2016Lars Hupel
*********\nexists
16 Jul 16:56 2016Makarius
**********\nexists
18 Jul 10:39 2016Lars Hupel
***********\nexists
18 Jul 11:05 2016Joachim Breitner
************\nexists
18 Jul 21:56 2016Makarius
*************\nexists
18 Jul 21:51 2016Makarius
************\nexists
19 Jul 10:17 2016Lars Hupel
*************\nexists
19 Jul 15:52 2016Makarius
**************\nexists
16 Jul 16:24 2016Makarius
********\nexists
15 Jul 15:50 2016Lars Hupel
***\nexists
13 Jul 00:28 2016Lars Hupel
*Use HTTPS for components
13 Jul 01:56 2016Gerwin Klein
**Use HTTPS for components
13 Jul 13:21 2016Lawrence Paulson
***Use HTTPS for components
14 Jul 12:47 2016Makarius
****Use HTTPS for components
13 Jul 15:50 2016Makarius
**Use HTTPS for components
14 Jul 12:36 2016Makarius
***Use HTTPS for components
12 Jul 17:28 2016Makarius
*NEWS: refined folding mode "isabelle"
11 Jul 22:43 2016Makarius
*NEWS: Indentation according to Isabelle outer syntax
12 Jul 17:26 2016Makarius
**NEWS: Indentation according to Isabelle outer syntax
13 Jul 21:37 2016Makarius
***NEWS: Indentation according to Isabelle outer syntax
10 Jul 22:37 2016Lars Hupel
*Build NEWS
11 Jul 08:03 2016Johannes Hölzl
**Build NEWS
11 Jul 08:09 2016Gerwin Klein
***Build NEWS
11 Jul 08:29 2016Andreas Lochbihler
****Build NEWS
11 Jul 09:19 2016Lars Hupel
****Build NEWS
17 Jul 13:56 2016Lars Hupel
**Build NEWS
8 Jul 20:48 2016Tobias Nipkow
*NEWS
4 Jul 21:33 2016Makarius
*NEWS: "blast" is more robust
4 Jul 21:30 2016Makarius
*NEWS: literal facts
4 Jul 21:25 2016Florian Haftmann
*Permutations
5 Jul 10:19 2016Johannes Hölzl
**Permutations
5 Jul 19:40 2016Florian Haftmann
***Permutations
5 Jul 19:59 2016Johannes Hölzl
****Permutations
5 Jul 20:02 2016Florian Haftmann
*****Permutations
5 Jul 20:23 2016Johannes Hölzl
******Permutations
4 Jul 21:13 2016Florian Haftmann
*Bijections
5 Jul 10:16 2016Johannes Hölzl
**Bijections
2 Jul 21:08 2016Florian Haftmann
*Considered harmful: surj
4 Jul 10:57 2016Johannes Hölzl
**Considered harmful: surj
11 Jul 20:58 2016Florian Haftmann
***Considered harmful: surj
2 Jul 21:07 2016Florian Haftmann
*{0::nat..<n} = {..<n}
3 Jul 12:41 2016Tobias Nipkow
**{0::nat..<n} = {..<n}
4 Jul 21:00 2016Florian Haftmann
***{0::nat..<n} = {..<n}
5 Jul 08:38 2016Tobias Nipkow
****{0::nat..<n} = {..<n}
5 Jul 08:58 2016Andreas Röhler
*****{0::nat..<n} = {..<n}
5 Jul 19:45 2016Florian Haftmann
******{0::nat..<n} = {..<n}
11 Jul 21:03 2016Florian Haftmann
*****{0::nat..<n} = {..<n}
2 Jul 21:06 2016Florian Haftmann
*An experience report on the testboard
2 Jul 22:45 2016Lars Hupel
**An experience report on the testboard
4 Jul 21:03 2016Florian Haftmann
***An experience report on the testboard
4 Jul 23:40 2016Lars Hupel
****An experience report on the testboard
5 Jul 01:45 2016Gerwin Klein
*****An experience report on the testboard
5 Jul 08:15 2016Lars Hupel
******An experience report on the testboard
5 Jul 09:21 2016Gerwin Klein
*******An experience report on the testboard
4 Jul 17:59 2016Lars Hupel
**An experience report on the testboard
4 Jul 21:11 2016Florian Haftmann
***An experience report on the testboard
4 Jul 23:49 2016Lars Hupel
****An experience report on the testboard
5 Jul 19:43 2016Florian Haftmann
*****An experience report on the testboard
6 Jul 09:45 2016Lars Hupel
******An experience report on the testboard
28 Jun 11:04 2016Mathias Fleury
*Simplification theorems with more general typeclasses
4 Jul 13:22 2016Johannes Hölzl
**Simplification theorems with more general typeclasses
4 Jul 14:20 2016Mathias Fleury
***Simplification theorems with more general typeclasses
5 Jul 14:03 2016Mathias Fleury
****Simplification theorems with more general typeclasses
12 Jul 16:15 2016Mathias Fleury
*****Simplification theorems with more general typeclasses