November 2014 Archives by thread

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

Starting: Sun Nov 2 16:56:27 CET 2014
Ending: Thu Nov 27 12:53:42 CET 2014
Messages: 81

• [isabelle-dev] Experiments in best-first-search rewriter   Bohua Zhan
  • [isabelle-dev] Experiments in best-first-search rewriter   Tobias Nipkow
  • [isabelle-dev] Experiments in best-first-search rewriter   Bohua Zhan
  • [isabelle-dev] Experiments in best-first-search rewriter   Makarius
• [isabelle-dev] Removing TTY / Proof General support   Makarius
• [isabelle-dev] NEWS: command-line terminator "; " is no longer accepted   Makarius
• [isabelle-dev] NEWS: uniform document heading commands   Makarius
  • [isabelle-dev] NEWS: uniform document heading commands   Timothy Bourke
    • [isabelle-dev] NEWS: uniform document heading commands   Makarius
      • [isabelle-dev] NEWS: uniform document heading commands   Timothy Bourke
      • [isabelle-dev] NEWS: uniform document heading commands   Johannes Hölzl
    • [isabelle-dev] NEWS: uniform document heading commands   Makarius
• [isabelle-dev] How to activate/de-activate unifier-trace from ML-level   Peter Lammich
  • [isabelle-dev] How to activate/de-activate unifier-trace from ML-level   Makarius
    • [isabelle-dev] How to activate/de-activate unifier-trace from ML-level   Peter Lammich
      • [isabelle-dev] How to activate/de-activate unifier-trace from ML-level   Makarius
• [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Makarius
  • [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Lawrence Paulson
    • [isabelle-dev] NEWS: parameterized antiquotations @{map N}, @{fold N} etc.   Makarius
• [isabelle-dev] HOL/Number_Theory/Primes   Lawrence Paulson
  • [isabelle-dev] HOL/Number_Theory/Primes   Tobias Nipkow
  • [isabelle-dev] HOL/Number_Theory/Primes   Florian Haftmann
    • [isabelle-dev] HOL/Number_Theory/Primes   Julian Brunner
      • [isabelle-dev] HOL/Number_Theory/Primes   Dmitriy Traytel
      • [isabelle-dev] HOL/Number_Theory/Primes   Tobias Nipkow
      • [isabelle-dev] HOL/Number_Theory/Primes   Dmitriy Traytel
      • [isabelle-dev] HOL/Number_Theory/Primes   Tobias Nipkow
      • [isabelle-dev] HOL/Number_Theory/Primes   Peter Lammich
      • [isabelle-dev] HOL/Number_Theory/Primes   Tobias Nipkow
      • [isabelle-dev] HOL/Number_Theory/Primes   Lawrence Paulson
      • [isabelle-dev] HOL/Number_Theory/Primes   Florian Haftmann
      • [isabelle-dev] HOL/Number_Theory/Primes   Tobias Nipkow
      • [isabelle-dev] HOL/Number_Theory/Primes   Florian Haftmann
      • [isabelle-dev] HOL/Number_Theory/Primes   Florian Haftmann
• [isabelle-dev] Algebra and number theory in Isabelle/HOL   Florian Haftmann
  • [isabelle-dev] Algebra and number theory in Isabelle/HOL   Lawrence Paulson
  • [isabelle-dev] Algebra and number theory in Isabelle/HOL   Jose Divasón
    • [isabelle-dev] Algebra and number theory in Isabelle/HOL   Florian Haftmann
• [isabelle-dev] HOL broken?   Dmitriy Traytel
  • [isabelle-dev] HOL broken?   Lars Noschinski
    • [isabelle-dev] HOL broken?   Lars Noschinski
• [isabelle-dev] Abbreviations and find_theorems   Florian Haftmann
  • [isabelle-dev] Abbreviations and find_theorems   Christian Sternagel
    • [isabelle-dev] Abbreviations and find_theorems   Gerwin Klein
      • [isabelle-dev] Abbreviations and find_theorems   Makarius
      • [isabelle-dev] Abbreviations and find_theorems   Florian Haftmann
      • [isabelle-dev] Abbreviations and find_theorems   Florian Haftmann
      • [isabelle-dev] Abbreviations and find_theorems   Timothy Bourke
      • [isabelle-dev] Abbreviations and find_theorems   Gerwin Klein
      • [isabelle-dev] Abbreviations and find_theorems   Jasmin Christian Blanchette
      • [isabelle-dev] Abbreviations and find_theorems   Gerwin Klein
      • [isabelle-dev] Abbreviations and find_theorems   Florian Haftmann
      • [isabelle-dev] Abbreviations and find_theorems   Gerwin Klein
      • [isabelle-dev] Abbreviations and find_theorems   Florian Haftmann
  • [isabelle-dev] Abbreviations and find_theorems   Lawrence Paulson
• [isabelle-dev] JinjaThreads FAILED   Florian Haftmann
  • [isabelle-dev] JinjaThreads FAILED   Johannes Hölzl
• [isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference   Florian Haftmann
  • [isabelle-dev] Unfinished session(s): Abstract_Completeness, Probabilistic_Noninterference   Johannes Hölzl
• [isabelle-dev] is_concealed   Dmitriy Traytel
  • [isabelle-dev] is_concealed   Florian Haftmann
    • [isabelle-dev] is_concealed   Florian Haftmann
  • [isabelle-dev] is_concealed   Florian Haftmann
• [isabelle-dev] BNF: dead or alive?   Christian Sternagel
  • [isabelle-dev] BNF: dead or alive?   Dmitriy Traytel
    • [isabelle-dev] BNF: dead or alive?   Christian Sternagel
      • [isabelle-dev] BNF: dead or alive?   Dmitriy Traytel
• [isabelle-dev] Proposal for localized interpretations   Jasmin Christian Blanchette
  • [isabelle-dev] Proposal for localized interpretations   Florian Haftmann
• [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading   Christian Sternagel
  • [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading   Dmitriy Traytel
    • [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading   Christian Sternagel
      • [isabelle-dev] [isabelle] TYPE_MATCH exception with adhoc_overloading   Florian Haftmann
• [isabelle-dev] Duraraion of AFP session AODV   Florian Haftmann
  • [isabelle-dev] Duraraion of AFP session AODV   Makarius
    • [isabelle-dev] Duraraion of AFP session AODV   Timothy Bourke
      • [isabelle-dev] Duraraion of AFP session AODV   Florian Haftmann
      • [isabelle-dev] Duraraion of AFP session AODV   Timothy Bourke
  • [isabelle-dev] Duraraion of AFP session AODV   Gerwin Klein
    • [isabelle-dev] Duraraion of AFP session AODV   Dmitriy Traytel
      • [isabelle-dev] Duraraion of AFP session AODV   Gerwin Klein

Last message date: Thu Nov 27 12:53:42 CET 2014
Archived on: Fri Apr 12 08:42:21 CEST 2019

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