March 2015 Archives by thread

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

Starting: Mon Mar 2 22:27:10 CET 2015
Ending: Mon Mar 30 11:37:39 CEST 2015
Messages: 38

• [isabelle-dev] What is this 3 levels of lambda calculi?   Askar Safin
  • [isabelle-dev] What is this 3 levels of lambda calculi?   Makarius
• [isabelle-dev] Isabelle gets stuck when imported theory is not found   Johannes Hölzl
  • [isabelle-dev] Isabelle gets stuck when imported theory is not found   Christian Sternagel
    • [isabelle-dev] Isabelle gets stuck when imported theory is not found   Makarius
      • [isabelle-dev] Isabelle gets stuck when imported theory is not found   Makarius
      • [isabelle-dev] Isabelle gets stuck when imported theory is not found   Makarius
      • [isabelle-dev] Isabelle gets stuck when imported theory is not found   Makarius
• [isabelle-dev] isabelle test failed (HOL-NSA-Examples)   Makarius
  • [isabelle-dev] isabelle test failed (HOL-NSA-Examples)   Andreas Lochbihler
    • [isabelle-dev] isabelle test failed (HOL-NSA-Examples)   Andreas Lochbihler
• [isabelle-dev] HOL-Probability broken   Makarius
  • [isabelle-dev] HOL-Probability broken   Larry Paulson
  • [isabelle-dev] HOL-Probability broken   Larry Paulson
    • [isabelle-dev] HOL-Probability broken   Makarius
      • [isabelle-dev] HOL-Probability broken   Larry Paulson
      • [isabelle-dev] HOL-Probability broken   Makarius
      • [isabelle-dev] HOL-Probability broken   Larry Paulson
• [isabelle-dev] New proof method "rewrite"   Lars Noschinski
• [isabelle-dev] Mira/AFP broken?   Makarius
  • [isabelle-dev] Mira/AFP broken?   Lars Noschinski
• [isabelle-dev] Problem in the AFP   Florian Haftmann
  • [isabelle-dev] Problem in the AFP   Peter Lammich
    • [isabelle-dev] Problem in the AFP   Lawrence Paulson
    • [isabelle-dev] Problem in the AFP   Peter Lammich
      • [isabelle-dev] Problem in the AFP   Thiemann, Rene
• [isabelle-dev] Reprocessing in Isabelle/jEdit   Jasmin Blanchette
  • [isabelle-dev] Reprocessing in Isabelle/jEdit   Peter Lammich
  • [isabelle-dev] Reprocessing in Isabelle/jEdit   Makarius
• [isabelle-dev] Suppress odd .prv files   Makarius
• [isabelle-dev] Multiset_Order   Florian Haftmann
  • [isabelle-dev] Multiset_Order   Florian Haftmann
• [isabelle-dev] Someone messed up HOL_library/Multiset_Order   Peter Lammich
  • [isabelle-dev] Someone messed up HOL_library/Multiset_Order   Jasmin Blanchette
• [isabelle-dev] NEWS: proper Isar context for rule instantiations   Makarius
  • [isabelle-dev] NEWS: proper Isar context for rule instantiations   Makarius
• [isabelle-dev] [isabelle] Semirings in HOL/Algebra/Ring   Thiemann, Rene
  • [isabelle-dev] [isabelle] Semirings in HOL/Algebra/Ring   Johannes Hölzl

Last message date: Mon Mar 30 11:37:39 CEST 2015
Archived on: Fri Apr 12 08:42:21 CEST 2019

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