March 2016 Archives by date

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

Starting: Tue Mar 1 12:43:34 CET 2016
Ending: Thu Mar 31 12:31:10 CEST 2016
Messages: 64

• [isabelle-dev] buildall inconsistency   Jose Divasón
• [isabelle-dev] Building Pure on Windows   Makarius
• [isabelle-dev] NEWS: support for ML_exception_debugger   Makarius
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Makarius
• [isabelle-dev] NEWS: support for ML_exception_debugger   Florian Haftmann
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Florian Haftmann
• [isabelle-dev] Odd name space problem in quickcheck or codegen (due to change in typedef)   Makarius
• [isabelle-dev] Discovering named_theorems   Dmitriy Traytel
• [isabelle-dev] lifting syntax with proper symbols   Makarius
• [isabelle-dev] Notation for not-exists   Makarius
• [isabelle-dev] lifting syntax with proper symbols   Andreas Lochbihler
• [isabelle-dev] Notation for not-exists   Lawrence Paulson
• [isabelle-dev] Notation for not-exists   Tobias Nipkow
• [isabelle-dev] lifting syntax with proper symbols   Ondřej Kunčar
• [isabelle-dev] lifting syntax with proper symbols   Peter Lammich
• [isabelle-dev] NEWS: isabelle_process and isabelle console   Makarius
• [isabelle-dev] NEWS: Local_Theory.restore versus Local_Theory.reset   Makarius
• [isabelle-dev] NEWS: structure Timeout   Makarius
• [isabelle-dev] NEWS: HOL notation   Makarius
• [isabelle-dev] NEWS: HOL notation   Lawrence Paulson
• [isabelle-dev] NEWS: Local_Theory.restore versus Local_Theory.reset   Dmitriy Traytel
• [isabelle-dev] NEWS: isabelle_process and isabelle console   Makarius
• [isabelle-dev] Preferred syntax for big GCD?   Florian Haftmann
• [isabelle-dev] Explicit representation of multisets   Florian Haftmann
• [isabelle-dev] Syntax for lattice operations?   Florian Haftmann
• [isabelle-dev] Preferred syntax for big GCD?   Tobias Nipkow
• [isabelle-dev] Preferred syntax for big GCD?   Lawrence Paulson
• [isabelle-dev] Syntax for lattice operations?   Johannes Hölzl
• [isabelle-dev] Syntax for lattice operations?   Lawrence Paulson
• [isabelle-dev] Syntax for lattice operations?   Florian Haftmann
• [isabelle-dev] Factorial ring   Florian Haftmann
• [isabelle-dev] Syntax for lattice operations?   Makarius
• [isabelle-dev] Factorial ring   Manuel Eberl
• [isabelle-dev] Factorial ring   Tjark Weber
• [isabelle-dev] Factorial ring   Manuel Eberl
• [isabelle-dev] NEWS: process management (summary and update)   Makarius
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Florian Haftmann
• [isabelle-dev] Sketch for generic interval notation [_..<_] / [_.._]   Florian Haftmann
• [isabelle-dev] Explicit representation of multisets   Tobias Nipkow
• [isabelle-dev] Syntax for lattice operations?   Tobias Nipkow
• [isabelle-dev] Explicit representation of multisets   Jasmin Blanchette
• [isabelle-dev] NEWS:   Makarius
• [isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions   Makarius
• [isabelle-dev] NEWS:   Lawrence Paulson
• [isabelle-dev] NEWS: Poly/ML heaps follow hierarchy of sessions   Makarius
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Makarius
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Makarius
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Makarius
• [isabelle-dev] Jenkins updates   Lars Hupel
• [isabelle-dev] NEWS: process management (summary and update)   Lars Noschinski
• [isabelle-dev] Jenkins updates   Dmitriy Traytel
• [isabelle-dev] Jenkins updates   Lars Hupel
• [isabelle-dev] Jenkins updates   Lars Hupel
• [isabelle-dev] Additional lemma for Bool_List_Representation   C. Diekmann
• [isabelle-dev] Additional lemma for Bool_List_Representation   Gerwin Klein
• [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails   Salomon Sickert
• [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails   Makarius
• [isabelle-dev] Odd branches on AFP   Makarius
• [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails   Salomon Sickert
• [isabelle-dev] Isabelle/jEdit - Loading of AFP session images fails   Makarius
• [isabelle-dev] Odd branches on AFP   Makarius
• [isabelle-dev] Odd branches on AFP   Gerwin Klein
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Florian Haftmann
• [isabelle-dev] NEWS: Characters (type char) are modelled as finite algebraic type, corresponding to {0..255}   Florian Haftmann

Last message date: Thu Mar 31 12:31:10 CEST 2016
Archived on: Fri Apr 12 08:42:23 CEST 2019

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