July 2015 Archives by author

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...

Starting: Wed Jul 1 01:29:14 CEST 2015
Ending: Fri Jul 31 11:38:06 CEST 2015
Messages: 40

• [isabelle-dev] Sledgehammer error involving Vampire   Jasmin Blanchette
• [isabelle-dev] Documentation for the development version?   Joachim Breitner
• [isabelle-dev] AFP devel not reachable   David Cock
• [isabelle-dev] AFP devel not reachable   David Cock
• [isabelle-dev] Sledgehammer error involving Vampire   Jason Dagit
• [isabelle-dev] AFP devel not reachable   Bertram Felgenhauer
• [isabelle-dev] Euclidean Ring   Florian Haftmann
• [isabelle-dev] Abstract specification for gcd and lcm – Call for volunteers   Florian Haftmann
• [isabelle-dev] State of the builds   Lars Hupel
• [isabelle-dev] »real« considered harmful   Johannes Hölzl
• [isabelle-dev] »real« considered harmful   Johannes Hölzl
• [isabelle-dev] AFP devel not reachable   Gerwin Klein
• [isabelle-dev] goals inserts facts into goal statement   Andreas Lochbihler
• [isabelle-dev] NEWS: 'subgoal' command   Makarius
• [isabelle-dev] NEWS: cases from goals   Makarius
• [isabelle-dev] Documentation for the development version?   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: 'subgoal' command   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: Subgoal.FOCUS combinators use anonymous quasi-bound variables   Makarius
• [isabelle-dev] AFP devel not reachable   Makarius
• [isabelle-dev] jdk-8u51   Makarius
• [isabelle-dev] Fwd: isabelle dist build failed   Makarius
• [isabelle-dev] NEWS: eliminated atac, rtac, etac, dtac, ftac   Makarius
• [isabelle-dev] NEWS: instantiation rules   Makarius
• [isabelle-dev] NEWS: Cauchy's integral theorem   Makarius
• [isabelle-dev] Fwd: isabelle test failed   Makarius
• [isabelle-dev] NEWS: 'subgoal' command   Daniel Matichuk
• [isabelle-dev] NEWS: 'subgoal' command   Daniel Matichuk
• [isabelle-dev] Deprecating legacy ASCII symbols?   Michael Norrish
• [isabelle-dev] NEWS: 'subgoal' command   Lars Noschinski
• [isabelle-dev] Sledgehammer error involving Vampire   Larry Paulson
• [isabelle-dev] Fwd: isabelle dist build failed   Larry Paulson
• [isabelle-dev] NEWS: Cauchy's integral theorem   Larry Paulson
• [isabelle-dev] NEWS: Cauchy's integral theorem   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] »real« considered harmful   Larry Paulson
• [isabelle-dev] AFP devel not reachable   Christian Sternagel

Last message date: Fri Jul 31 11:38:06 CEST 2015
Archived on: Fri Apr 12 08:42:22 CEST 2019

• Messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...