Messages by Date
-
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Tobias Nipkow
-
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Christian Sternagel
-
2017/08/16
Re: [isabelle-dev] [Spam] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Blanchette, J.C.
-
2017/08/16
Re: [isabelle-dev] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Tobias Nipkow
-
2017/08/16
Re: [isabelle-dev] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Manuel Eberl
-
2017/08/16
[isabelle-dev] Fwd: added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Christian Sternagel
-
2017/08/15
[isabelle-dev] Update to scala-2.12.3
Makarius
-
2017/08/15
[isabelle-dev] Update to jdk-8u144
Makarius
-
2017/08/15
[isabelle-dev] NEWS: Theories dockable indicates the overall status of checking
Makarius
-
2017/08/13
Re: [isabelle-dev] PolyML update
Makarius
-
2017/08/12
Re: [isabelle-dev] PolyML update
Lochbihler Andreas
-
2017/08/11
Re: [isabelle-dev] PolyML update
Makarius
-
2017/08/11
Re: [isabelle-dev] PolyML update
Peter Lammich
-
2017/08/11
[isabelle-dev] PolyML update
Andreas Lochbihler
-
2017/08/05
Re: [isabelle-dev] cvc4
Jasmin Blanchette
-
2017/08/05
[isabelle-dev] cvc4
Lawrence Paulson
-
2017/08/03
[isabelle-dev] Problem in AFP
Florian Haftmann
-
2017/07/24
Re: [isabelle-dev] Towards a "localized" code generator
Andreas Lochbihler
-
2017/07/24
Re: [isabelle-dev] Towards a "localized" code generator
Lars Hupel
-
2017/07/24
Re: [isabelle-dev] Towards a "localized" code generator
Andreas Lochbihler
-
2017/07/24
[isabelle-dev] Towards a "localized" code generator
Lars Hupel
-
2017/07/18
Re: [isabelle-dev] The coming release of Isabelle2017
Manuel Eberl
-
2017/07/16
Re: [isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
-
2017/07/11
Re: [isabelle-dev] map/rel/set for lift_bnf
Lars Hupel
-
2017/07/11
Re: [isabelle-dev] map/rel/set for lift_bnf
Dmitriy Traytel
-
2017/07/11
[isabelle-dev] map/rel/set for lift_bnf
Lars Hupel
-
2017/07/09
Re: [isabelle-dev] The coming release of Isabelle2017
Fabian Immler
-
2017/07/09
Re: [isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
-
2017/07/09
Re: [isabelle-dev] The coming release of Isabelle2017
Lars Hupel
-
2017/07/08
Re: [isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
-
2017/07/08
Re: [isabelle-dev] The coming release of Isabelle2017
Peter Lammich
-
2017/07/08
Re: [isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
-
2017/07/06
Re: [isabelle-dev] The coming release of Isabelle2017
Blanchette, J.C.
-
2017/07/05
Re: [isabelle-dev] The coming release of Isabelle2017
Manuel Eberl
-
2017/07/05
Re: [isabelle-dev] The coming release of Isabelle2017
Lawrence Paulson
-
2017/07/05
Re: [isabelle-dev] The coming release of Isabelle2017
Manuel Eberl
-
2017/07/05
[isabelle-dev] The coming release of Isabelle2017
Makarius
-
2017/07/05
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Makarius
-
2017/07/03
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Simon Wimmer
-
2017/07/03
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Mathias Fleury
-
2017/07/03
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Makarius
-
2017/07/03
[isabelle-dev] NEWS: 'alias' and 'type_alias'
Makarius
-
2017/07/03
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Christian Sternagel
-
2017/07/03
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Andreas Lochbihler
-
2017/07/02
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Andreas Lochbihler
-
2017/07/02
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Makarius
-
2017/07/02
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Christian Sternagel
-
2017/07/02
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Makarius
-
2017/07/02
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Christian Sternagel
-
2017/07/01
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Makarius Wenzel
-
2017/07/01
Re: [isabelle-dev] NEWS: Isabelle/VSCode
Christian Sternagel
-
2017/07/01
[isabelle-dev] NEWS: Isabelle/VSCode
Makarius
-
2017/07/01
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Florian Haftmann
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Tobias Nipkow
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Sebastien Gouezel
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Manuel Eberl
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Sebastien Gouezel
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Lawrence Paulson
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Manuel Eberl
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Tobias Nipkow
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Lars Hupel
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Manuel Eberl
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Tobias Nipkow
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Lawrence Paulson
-
2017/06/30
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Tobias Nipkow
-
2017/06/29
Re: [isabelle-dev] Efficient code for Discrete.log
Manuel Eberl
-
2017/06/29
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Andreas Lochbihler
-
2017/06/29
Re: [isabelle-dev] Efficient code for Discrete.log
Thiemann, Rene
-
2017/06/29
Re: [isabelle-dev] Efficient code for Discrete.log
Andreas Lochbihler
-
2017/06/29
[isabelle-dev] Efficient code for Discrete.log
Manuel Eberl
-
2017/06/28
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Manuel Eberl
-
2017/06/28
Re: [isabelle-dev] [isabelle] Good name for "sublist" predicates
Andreas Lochbihler
-
2017/06/27
Re: [isabelle-dev] Confusion about ML_file and SML_file
Makarius
-
2017/06/27
[isabelle-dev] Confusion about ML_file and SML_file
Wenda Li
-
2017/06/24
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/06/24
Re: [isabelle-dev] scala-2.12.2
Florian Haftmann
-
2017/06/24
[isabelle-dev] NEWS: automatic indentation
Makarius
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Florian Haftmann
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/06/22
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/19
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/06/19
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/06/19
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/19
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/06/18
Re: [isabelle-dev] Issue in AFP
Tobias Nipkow
-
2017/06/18
[isabelle-dev] Issue in AFP
Florian Haftmann
-
2017/06/13
[isabelle-dev] include option for "sessions" in ROOT
Lars Hupel
-
2017/06/13
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/13
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/06/12
Re: [isabelle-dev] scala-2.12.2
Florian Haftmann
-
2017/06/11
Re: [isabelle-dev] scala-2.12.2
Florian Haftmann
-
2017/06/09
Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples
Lars Hupel
-
2017/06/08
Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples
Makarius
-
2017/06/08
Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples
Lars Hupel
-
2017/06/08
Re: [isabelle-dev] Splitting of Iptables_Semantics_Examples
Makarius
-
2017/06/08
[isabelle-dev] Splitting of Iptables_Semantics_Examples
Lars Hupel
-
2017/06/01
Re: [isabelle-dev] Build Problem in JinjaThreads
Manuel Eberl
-
2017/06/01
[isabelle-dev] Build Problem in JinjaThreads
Florian Haftmann
-
2017/05/23
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/05/22
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/05/22
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/05/21
Re: [isabelle-dev] scala-2.12.2
Makarius
-
2017/05/21
Re: [isabelle-dev] scala-2.12.2
Lars Hupel
-
2017/05/19
[isabelle-dev] scala-2.12.2
Makarius
-
2017/05/19
[isabelle-dev] jdk-8u131
Makarius
-
2017/05/19
Re: [isabelle-dev] Poly/ML 5.7
Makarius
-
2017/05/18
Re: [isabelle-dev] unable to start Isabelle/jEdit due to error in unused session
Makarius
-
2017/05/18
Re: [isabelle-dev] unable to start Isabelle/jEdit due to error in unused session
Christian Sternagel
-
2017/05/18
Re: [isabelle-dev] unable to start Isabelle/jEdit due to error in unused session
Makarius
-
2017/05/18
Re: [isabelle-dev] unable to start Isabelle/jEdit due to error in unused session
Lars Hupel
-
2017/05/18
[isabelle-dev] unable to start Isabelle/jEdit due to error in unused session
Christian Sternagel
-
2017/05/17
[isabelle-dev] How to hack isabelle in order to print proof output in batch mode?
Qian Hong
-
2017/05/15
[isabelle-dev] NEWS: SQL database access in Isabelle/Scala
Makarius
-
2017/05/15
Re: [isabelle-dev] Poly/ML 5.7
Makarius
-
2017/05/15
Re: [isabelle-dev] Poly/ML 5.7
Makarius
-
2017/05/15
Re: [isabelle-dev] Poly/ML 5.7
Makarius
-
2017/05/15
Re: [isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/05/15
Re: [isabelle-dev] Poly/ML 5.7
Lawrence Paulson
-
2017/05/15
[isabelle-dev] Poly/ML 5.7
Makarius
-
2017/05/14
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Makarius
-
2017/05/12
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Florian Haftmann
-
2017/05/10
Re: [isabelle-dev] Isabelle build status with timing information
Makarius
-
2017/05/10
Re: [isabelle-dev] Isabelle build status with timing information
Lawrence Paulson
-
2017/05/10
[isabelle-dev] Isabelle build status with timing information
Makarius
-
2017/04/28
Re: [isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/04/28
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Manuel Eberl
-
2017/04/27
[isabelle-dev] Sporadic build failure of HOL-Probability in 16a8991ab398
Manuel Eberl
-
2017/04/25
Re: [isabelle-dev] Uses of Jenkins at TUM
Simon Wimmer
-
2017/04/25
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Florian Haftmann
-
2017/04/25
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Manuel Eberl
-
2017/04/25
Re: [isabelle-dev] NEWS: GCD and Binomial in Main
Florian Haftmann
-
2017/04/25
Re: [isabelle-dev] Uses of Jenkins at TUM
Lars Hupel
-
2017/04/25
Re: [isabelle-dev] Uses of Jenkins at TUM
Dmitriy Traytel
-
2017/04/25
Re: [isabelle-dev] Uses of Jenkins at TUM
Mathias Fleury
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Lars Hupel
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Blanchette, J.C.
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/04/24
Re: [isabelle-dev] Uses of Jenkins at TUM
Andreas Lochbihler
-
2017/04/24
[isabelle-dev] NEWS: isabelle imports
Makarius
-
2017/04/24
[isabelle-dev] NEWS: GCD and Binomial in Main
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Lars Hupel
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Tobias Nipkow
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Lars Hupel
-
2017/04/24
[isabelle-dev] Uses of Jenkins at TUM
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/24
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/23
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/23
Re: [isabelle-dev] Bad theory import "Main"
Tobias Nipkow
-
2017/04/23
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/23
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/23
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Tobias Nipkow
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Makarius
-
2017/04/22
Re: [isabelle-dev] Bad theory import "Main"
Blanchette, J.C.
-
2017/04/19
[isabelle-dev] NEWS: session-qualified theory names
Makarius
-
2017/04/18
Re: [isabelle-dev] Access problems to repositories and NFS
Lars Hupel
-
2017/04/17
Re: [isabelle-dev] Code generation: privacy of exported types in signatures
Florian Haftmann
-
2017/04/15
Re: [isabelle-dev] Code generation: privacy of exported types in signatures
Frederic Tuong (Dr)
-
2017/04/14
Re: [isabelle-dev] Code generation: privacy of exported types in signatures
Florian Haftmann
-
2017/04/14
Re: [isabelle-dev] Irrefutable patterns in Haskell and Quickcheck/Narrowing
Florian Haftmann
-
2017/04/13
Re: [isabelle-dev] "No such file" in build
Makarius
-
2017/04/12
Re: [isabelle-dev] "No such file" in build
Lars Hupel
-
2017/04/12
Re: [isabelle-dev] "No such file" in build
Makarius
-
2017/04/12
[isabelle-dev] "No such file" in build
Lars Hupel
-
2017/04/12
[isabelle-dev] NEWS: main theory entry points
Makarius
-
2017/04/12
Re: [isabelle-dev] Access problems to repositories and NFS
Lars Hupel
-
2017/04/12
Re: [isabelle-dev] Access problems to repositories and NFS
Tobias Nipkow
-
2017/04/12
Re: [isabelle-dev] Access problems to repositories and NFS
Makarius
-
2017/04/11
Re: [isabelle-dev] Access problems to repositories and NFS
Tobias Nipkow
-
2017/04/11
Re: [isabelle-dev] Access problems to repositories and NFS
Makarius
-
2017/04/11
Re: [isabelle-dev] Access problems to repositories and NFS
Lars Hupel
-
2017/04/10
[isabelle-dev] Access problems to repositories and NFS
Lars Hupel
-
2017/04/09
[isabelle-dev] Code generation: privacy of exported types in signatures
Frederic Tuong (Dr)
-
2017/04/07
Re: [isabelle-dev] PLATFORMS: Mac OS X
Makarius
-
2017/04/07
Re: [isabelle-dev] PLATFORMS: Mac OS X
Salomon Sickert
-
2017/04/06
Re: [isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Lars Hupel
-
2017/04/06
[isabelle-dev] Fwd: Build of AFP entry Incompleteness failed
Lawrence Paulson
-
2017/04/06
Re: [isabelle-dev] Global constant names in inductive
Lars Hupel
-
2017/04/06
Re: [isabelle-dev] Global constant names in inductive
Makarius
-
2017/04/06
Re: [isabelle-dev] Global constant names in inductive
Lars Hupel
-
2017/04/06
Re: [isabelle-dev] Global constant names in inductive
Makarius
-
2017/04/06
Re: [isabelle-dev] Global constant names in inductive
Lars Hupel
-
2017/04/06
[isabelle-dev] Global constant names in inductive
Lars Hupel
-
2017/04/05
Re: [isabelle-dev] PLATFORMS: Mac OS X
Makarius
-
2017/04/05
Re: [isabelle-dev] PLATFORMS: Mac OS X
Salomon Sickert