28 Jul 17:17 2015Larry Paulson
*NEWS: Cauchy's integral theorem
28 Jul 17:40 2015Makarius
**NEWS: Cauchy's integral theorem
28 Jul 18:19 2015Larry Paulson
***NEWS: Cauchy's integral theorem
27 Jul 22:36 2015Makarius
*NEWS: instantiation rules
27 Jul 22:32 2015Makarius
*NEWS: eliminated atac, rtac, etac, dtac, ftac
24 Jul 11:08 2015Andreas Lochbihler
*goals inserts facts into goal statement
23 Jul 12:32 2015Larry Paulson
*Fwd: isabelle dist build failed
23 Jul 13:40 2015Makarius
**Fwd: isabelle dist build failed
20 Jul 11:40 2015Makarius
*jdk-8u51
20 Jul 10:35 2015Christian Sternagel
*AFP devel not reachable
20 Jul 10:36 2015David Cock
**AFP devel not reachable
20 Jul 11:26 2015Makarius
**AFP devel not reachable
20 Jul 11:32 2015David Cock
***AFP devel not reachable
20 Jul 13:20 2015Bertram Felgenhauer
****AFP devel not reachable
20 Jul 23:49 2015Gerwin Klein
**AFP devel not reachable
18 Jul 23:24 2015Larry Paulson
*Sledgehammer error involving Vampire
18 Jul 23:37 2015Jason Dagit
**Sledgehammer error involving Vampire
19 Jul 13:11 2015Jasmin Blanchette
***Sledgehammer error involving Vampire
13 Jul 16:17 2015Makarius
*NEWS: Subgoal.FOCUS combinators use anonymous quasi-bound variables
13 Jul 09:57 2015Lars Hupel
*State of the builds
10 Jul 21:12 2015Florian Haftmann
*Abstract specification for gcd and lcm – Call for volunteers
2 Jul 15:55 2015Joachim Breitner
*Documentation for the development version?
2 Jul 23:17 2015Makarius
**Documentation for the development version?
2 Jul 14:30 2015Makarius
*NEWS: 'subgoal' command
3 Jul 04:02 2015Daniel Matichuk
**NEWS: 'subgoal' command
3 Jul 07:54 2015Lars Noschinski
***NEWS: 'subgoal' command
6 Jul 07:44 2015Daniel Matichuk
****NEWS: 'subgoal' command
9 Jul 20:59 2015Makarius
*****NEWS: 'subgoal' command
30 Jun 17:49 2015Makarius
*NEWS: standard proof method
30 Jun 14:32 2015Makarius
*NEWS: improved scheduling for urgent print tasks
30 Jun 00:23 2015C. Diekmann
*Deprecating legacy ASCII symbols?
30 Jun 14:13 2015Makarius
**Deprecating legacy ASCII symbols?
30 Jun 16:07 2015Jasmin Blanchette
***Deprecating legacy ASCII symbols?
30 Jun 16:28 2015Lars Noschinski
****Deprecating legacy ASCII symbols?
30 Jun 16:36 2015Makarius
*****Deprecating legacy ASCII symbols?
30 Jun 16:30 2015Makarius
****Deprecating legacy ASCII symbols?
30 Jun 17:43 2015Jasmin Blanchette
*****Deprecating legacy ASCII symbols?
30 Jun 16:26 2015Tobias Nipkow
***Deprecating legacy ASCII symbols?
30 Jun 15:30 2015Larry Paulson
**Deprecating legacy ASCII symbols?
30 Jun 16:57 2015Makarius
***Deprecating legacy ASCII symbols?
1 Jul 01:29 2015Michael Norrish
****Deprecating legacy ASCII symbols?
29 Jun 16:33 2015Lars Noschinski
*Isabelle services not available this weekend (2015-07-03 to 2015-07-06
27 Jun 00:46 2015Makarius
*NEWS: cases from goals
27 Jun 00:59 2015Larry Paulson
**NEWS: cases from goals
30 Jun 00:15 2015Makarius
***NEWS: cases from goals
30 Jun 17:42 2015Makarius
****NEWS: cases from goals
30 Jun 19:34 2015Lars Noschinski
*****NEWS: cases from goals
2 Jul 16:25 2015Makarius
******NEWS: cases from goals
26 Jun 15:23 2015Larry Paulson
*Fwd: isabelle test failed
26 Jun 20:01 2015Makarius
**Fwd: isabelle test failed
27 Jun 00:43 2015Dmitriy Traytel
***Fwd: isabelle test failed
27 Jun 00:49 2015Makarius
****Fwd: isabelle test failed
2 Jul 23:33 2015Makarius
***Fwd: isabelle test failed
13 Jul 14:21 2015Makarius
***Fwd: isabelle test failed
13 Jul 14:25 2015Makarius
****Fwd: isabelle test failed
31 Jul 11:38 2015Makarius
*****Fwd: isabelle test failed
25 Jun 19:09 2015Florian Haftmann
*Euclidean Ring
26 Jun 00:36 2015Manuel Eberl
**Euclidean Ring
27 Jun 09:06 2015Florian Haftmann
***Euclidean Ring
27 Jun 17:31 2015Manuel Eberl
****Euclidean Ring
10 Jul 21:04 2015Florian Haftmann
*****Euclidean Ring
25 Jun 15:00 2015Florian Haftmann
*Problem in AFP near 16e7d42ef7f4
25 Jun 15:52 2015Larry Paulson
**Problem in AFP near 16e7d42ef7f4
25 Jun 16:02 2015Larry Paulson
***Problem in AFP near 16e7d42ef7f4
25 Jun 16:06 2015Florian Haftmann
****Problem in AFP near 16e7d42ef7f4
25 Jun 16:05 2015Florian Haftmann
**Problem in AFP near 16e7d42ef7f4
24 Jun 22:04 2015Makarius
*NEWS: clarified 'case' command
25 Jun 00:30 2015Makarius
**NEWS: clarified 'case' command
24 Jun 21:51 2015Makarius
*NEWS: proof method "sleep"
24 Jun 21:46 2015Makarius
*NEWS: nesting of Isar goal structure
18 Jun 21:31 2015Larry Paulson
*Fwd: test failed (Archive of Formal Proofs)
19 Jun 01:45 2015Tobias Nipkow
**Fwd: test failed (Archive of Formal Proofs)
15 Jun 00:21 2015Makarius
*NEWS: improved 'obtain' with 'is' patterns
15 Jun 00:14 2015Makarius
*NEWS: 'supply' command
15 Jun 00:11 2015Makarius
*NEWS: 'consider' command and "cases" method
15 Jun 00:01 2015Makarius
*NEWS: structured Isar goal statements
15 Jun 11:33 2015Lars Noschinski
**NEWS: structured Isar goal statements
15 Jun 20:30 2015Makarius
***NEWS: structured Isar goal statements
15 Jun 22:36 2015Johannes Hölzl
****NEWS: structured Isar goal statements
24 Jun 21:58 2015Makarius
**NEWS: structured Isar goal statements (update)
27 Jun 00:38 2015Makarius
***NEWS: structured Isar goal statements (update)
14 Jun 23:54 2015Makarius
*NEWS: improved type-inference for 'obtains'
12 Jun 15:36 2015Larry Paulson
*Fwd: isabelle test failed
14 Jun 23:29 2015Makarius
**Fwd: isabelle test failed
7 Jun 22:13 2015Makarius
*Remaining uses of defer_recdef?
9 Jun 03:27 2015Thomas Sewell
**Remaining uses of defer_recdef?
10 Jun 00:07 2015Gerwin Klein
***Remaining uses of defer_recdef?
10 Jun 23:19 2015Larry Paulson
****Remaining uses of defer_recdef?
11 Jun 07:58 2015Tobias Nipkow
*****Remaining uses of defer_recdef?
11 Jun 12:42 2015Larry Paulson
******Remaining uses of defer_recdef?
11 Jun 14:00 2015Makarius
*******Remaining uses of defer_recdef?
11 Jun 14:27 2015Tobias Nipkow
********Remaining uses of defer_recdef?
11 Jun 15:26 2015Larry Paulson
*********Remaining uses of defer_recdef?
11 Jun 15:51 2015Makarius
**********Remaining uses of defer_recdef?
3 Jun 19:22 2015Makarius
*Remaining uses of defer_recdef?
5 Jun 22:42 2015Florian Haftmann
**Remaining uses of defer_recdef?
6 Jun 01:13 2015Larry Paulson
***Remaining uses of defer_recdef?
6 Jun 13:23 2015Makarius
****Remaining uses of defer_recdef?
6 Jun 15:53 2015Tobias Nipkow
*****Remaining uses of defer_recdef?
6 Jun 17:11 2015Florian Haftmann
******Remaining uses of defer_recdef?