Cl-isabelle-users June 2016 Archives by thread
- Re: [isabelle] Questions about Quickcheck ,
Lukas Bulwahn - Wed, 01 Jun 2016 07:13:46 +0100
- Re: [isabelle] New AFP article: Tree Decomposition ,
Benedikt Nordhoff - Wed, 01 Jun 2016 10:09:26 +0100
- Re: [isabelle] theoretical question ,
Lawrence Paulson - Wed, 01 Jun 2016 11:27:10 +0100
- Re: [isabelle] Printing natural numbers ,
Florian Haftmann - Wed, 01 Jun 2016 20:45:37 +0100
- [isabelle] Algebraic_Numbers ,
Manuel Eberl - Thu, 02 Jun 2016 08:29:03 +0100
- Re: [isabelle] Algebraic_Numbers ,
Florian Haftmann - Thu, 02 Jun 2016 08:42:11 +0100
- Re: [isabelle] Algebraic_Numbers ,
Thiemann, Rene - Thu, 02 Jun 2016 10:32:09 +0100
- Re: [isabelle] Algebraic_Numbers ,
Lars Hupel - Thu, 02 Jun 2016 10:55:38 +0100
- Re: [isabelle] Algebraic_Numbers ,
Gerwin Klein - Thu, 02 Jun 2016 12:26:25 +0100
- Message not available
- Re: [isabelle] Algebraic_Numbers ,
Lars Hupel - Thu, 02 Jun 2016 15:55:21 +0100
- Re: [isabelle] Algebraic_Numbers ,
Makarius - Thu, 02 Jun 2016 16:24:44 +0100
- Re: [isabelle] Algebraic_Numbers ,
Gerwin Klein - Thu, 02 Jun 2016 21:37:44 +0100
- Re: [isabelle] Algebraic_Numbers ,
Makarius - Thu, 02 Jun 2016 22:23:21 +0100
- Re: [isabelle] Algebraic_Numbers ,
Lars Hupel - Fri, 03 Jun 2016 22:17:18 +0100
- Re: [isabelle] Algebraic_Numbers ,
Makarius - Fri, 03 Jun 2016 22:33:45 +0100
- Re: [isabelle] Algebraic_Numbers ,
Gerwin Klein - Sat, 04 Jun 2016 01:34:49 +0100
- Re: [isabelle] Algebraic_Numbers ,
Makarius - Sat, 04 Jun 2016 13:12:48 +0100
- Re: [isabelle] Algebraic_Numbers ,
Makarius - Thu, 02 Jun 2016 22:32:40 +0100
- Re: [isabelle] Algebraic_Numbers ,
Gerwin Klein - Fri, 03 Jun 2016 01:00:33 +0100
[isabelle] SAT solver problem ,
Omar Jasim - Thu, 02 Jun 2016 10:36:56 +0100
Re: [isabelle] SAT solver problem ,
Jasmin Blanchette - Thu, 02 Jun 2016 18:59:37 +0100
Re: [isabelle] SAT solver problem ,
Makarius - Thu, 02 Jun 2016 20:07:37 +0100
[isabelle] AFP now shows who uses your entry ,
Gerwin Klein - Thu, 02 Jun 2016 12:30:20 +0100
[isabelle] Set Comprehention {5n. nâN} without existence-quantor? ,
Jonathan Woodgate via Cl-isabelle-users - Mon, 06 Jun 2016 12:04:11 +0100
[isabelle] CakeML PostDoc position on Trustworthy Refactoring ,
Scott Owens - Mon, 06 Jun 2016 14:01:04 +0100
[isabelle] Large theories ,
ÐÑÐÐÐÑÐÐÐ ÐÐÐÐÐÐÐÑÐÐÐÑ ÐÐÐÑÐÐÐ - Mon, 06 Jun 2016 19:44:26 +0100
[isabelle] Turnstile ,
Mark Adams - Tue, 07 Jun 2016 00:51:32 +0100
[isabelle] how to use core to Isabelle to translate this code? ,
Ho Yeung Lee - Tue, 07 Jun 2016 07:01:09 +0100
[isabelle] core-to-isabelle installation error ,
Ho Yeung Lee - Tue, 07 Jun 2016 07:30:18 +0100
[isabelle] Fwd: Executing 2 Isabelle-2016 or even 2 Jedit processes on Windows ,
Nemouchi Yakoub - Tue, 07 Jun 2016 22:28:05 +0100
[isabelle] Simplifier and term order ,
Manuel Eberl - Wed, 08 Jun 2016 07:38:10 +0100
[isabelle] New AFP entry: Word_Lib ,
Tobias Nipkow - Thu, 09 Jun 2016 13:28:50 +0100
[isabelle] Parametrized transfer rules with lift_definition ,
Andreas Lochbihler - Fri, 10 Jun 2016 16:32:40 +0100
[isabelle] Opaque ascription for SML code generation ,
Jørgen Villadsen - Fri, 10 Jun 2016 19:21:17 +0100
[isabelle] new in the AFP: Conservation of CSP Noninterference Security ,
Lawrence Paulson - Mon, 13 Jun 2016 15:40:06 +0100
[isabelle] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science ,
Temur Kutsia - Mon, 13 Jun 2016 16:39:24 +0100
[isabelle] Question about code generation ,
Jørgen Villadsen - Tue, 14 Jun 2016 17:57:14 +0100
[isabelle] lift_definition in locales ,
Mathias Fleury - Wed, 15 Jun 2016 19:44:19 +0100
[isabelle] Proof General as Coq-only front-end ,
Makarius - Wed, 15 Jun 2016 23:00:54 +0100
[isabelle] Operator with Pair sets ,
Omar Jasim - Thu, 16 Jun 2016 09:38:13 +0100
[isabelle] Operator clash for $ ,
Manuel Eberl - Thu, 16 Jun 2016 10:54:51 +0100
[isabelle] Operational semantics for functional languages in Isabelle/HOL ,
Andreas Lochbihler - Thu, 16 Jun 2016 11:23:01 +0100
[isabelle] new in the AFP: Program Construction and Verification Components Based on Kleene Algebra ,
Gerwin Klein - Sat, 18 Jun 2016 10:36:43 +0100
[isabelle] ZF theories with HOL ,
Omar Jasim - Sun, 19 Jun 2016 12:40:12 +0100
[isabelle] Parametricity for functions which ignore arguments ,
Andreas Lochbihler - Mon, 20 Jun 2016 08:40:11 +0100
Re: [isabelle] Malformed dependency error with overloading ,
Simon Foster - Mon, 20 Jun 2016 16:22:47 +0100
[isabelle] ITP 2016: Call for participation ,
Jasmin Blanchette - Tue, 21 Jun 2016 14:17:47 +0100
[isabelle] Specification.definition: Getting theorem for Const, not Free? ,
Peter Lammich - Thu, 23 Jun 2016 00:30:58 +0100
[isabelle] CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment ,
dubois - Thu, 23 Jun 2016 07:09:10 +0100
[isabelle] Permutations ,
Florian Haftmann - Thu, 23 Jun 2016 08:47:58 +0100
[isabelle] Ordered Pair Definition ,
Omar Jasim - Thu, 23 Jun 2016 10:01:59 +0100
[isabelle] theory FSet exists twice ,
Joachim Breitner - Thu, 23 Jun 2016 17:09:00 +0100
[isabelle] AFP submission site is unavailable? ,
Lukas Bulwahn - Thu, 23 Jun 2016 21:08:21 +0100
[isabelle] Last CfP: JSC Special Issue on Symbolic Computation in Software Science ,
Temur Kutsia - Sat, 25 Jun 2016 11:57:58 +0100
[isabelle] New AFP article: A Dependent Security Type System for Concurrent Imperative Programs ,
Tobias Nipkow - Sat, 25 Jun 2016 18:40:39 +0100
[isabelle] Termination of function on DAG nodes ,
Rupert Swarbrick - Sat, 25 Jun 2016 22:10:08 +0100
[isabelle] 2 new AFP entries ,
Gerwin Klein - Sun, 26 Jun 2016 02:41:55 +0100
[isabelle] Looking for postdocs ,
Sanan Baena David Miguel (Dr) - Mon, 27 Jun 2016 10:29:54 +0100
[isabelle] Strange behaviour of Isabelle (Polyml) on Windows 8.1 ,
Nemouchi Yakoub - Mon, 27 Jun 2016 15:28:08 +0100
[isabelle] new AFP entry: IP Addresses ,
Gerwin Klein - Tue, 28 Jun 2016 10:43:20 +0100
[isabelle] new in the AFP: Refinement for Concurrent Imperative Programs ,
Lawrence Paulson - Tue, 28 Jun 2016 14:13:03 +0100
[isabelle] postdoctoral associate position in London, working with Isabelle ,
Andrei Popescu - Tue, 28 Jun 2016 14:24:20 +0100
[isabelle] Call for Papers: Satisfiability Checking and Symbolic Computation (deadline 15 July) ,
Pascal Fontaine - Wed, 29 Jun 2016 12:00:03 +0100
Re: [isabelle] Empty session_graph files ,
Joachim Breitner - Wed, 29 Jun 2016 14:04:45 +0100
[isabelle] MacOS and Isabelle2016 ,
Alexandre Rademaker - Wed, 29 Jun 2016 15:02:13 +0100
[isabelle] New AFP entry: The Z Property ,
Tobias Nipkow - Thu, 30 Jun 2016 08:19:41 +0100
[isabelle] New AFP article: The Resolution Calculus for First-Order Logic ,
Tobias Nipkow - Thu, 30 Jun 2016 16:28:31 +0100
[isabelle] HTML string of term ,
Omar Montano Rivas - Thu, 30 Jun 2016 19:14:57 +0100
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.