November 2014 Archives by author

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

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

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