- February 2019 messages sorted by: [ thread ] [ subject ] [ date ]
- More info on this list...
- List archive Table of Contents

- Frédéric Blanqui, frederic.blanqui at inria.fr
- [isabelle] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France - Fri, 01 Feb 2019 08:01:43 +0000

- Thiemann, René, Rene.Thiemann at uibk.ac.at
- [isabelle] New in the AFP: Elementary Facts About the Distribution of Primes - Fri, 22 Feb 2019 10:49:14 +0000
- [isabelle] New in the AFP: Kruskal's Algorithm for Minimum Spanning Forest - Tue, 19 Feb 2019 10:54:29 +0000
- Re: [isabelle] signed and unsigned words - Mon, 18 Feb 2019 13:18:45 +0000

- José Manuel Rodríguez Caballero, josephcmac at gmail.com
- [isabelle] simple type theory vs dependent type theory (was: Your experience of learning Isabelle) - Fri, 22 Feb 2019 18:58:25 +0000
- Re: [isabelle] a clarification about division by zero in simple type theory and topology - Thu, 28 Feb 2019 08:46:41 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 09:09:52 +0000
- [isabelle] modeling Isabelle/HoTT in Isabelle/HOL - Fri, 22 Feb 2019 22:29:50 +0000
- [isabelle] a clarification about division by zero in simple type theory and topology - Thu, 28 Feb 2019 00:11:11 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sun, 10 Feb 2019 19:58:16 +0000
- Re: [isabelle] simple type theory vs dependent type theory (was: Your experience of learning Isabelle) - Mon, 25 Feb 2019 13:40:04 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 06:05:27 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 19:19:31 +0000
- [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 05:55:56 +0000
- Re: [isabelle] simple type theory vs dependent type theory - Wed, 27 Feb 2019 02:26:22 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 22:54:26 +0000
- [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 10:58:55 +0000

- José Manuel Rodriguez Caballero, josephcmac at gmail.com
- Re: [isabelle] oracles - Fri, 01 Feb 2019 03:25:49 +0000

- Achermann Reto, reto.achermann at inf.ethz.ch
- [isabelle] Creating Theorems in ML - Thu, 28 Feb 2019 11:40:59 +0000

- Amy Felty, afelty at uottawa.ca
- [isabelle] WiL 2019: Women in Logic Workshop Call for Papers - Tue, 05 Feb 2019 20:16:26 +0000

- Andrei Popescu, A.Popescu at mdx.ac.uk
- [isabelle] TABLEAUX 2019 (London) call for papers - Tue, 05 Feb 2019 10:58:05 +0000

- Cezary Kaliszyk, cezarykaliszyk at gmail.com
- [isabelle] Fwd: Isabelle też ma pluskwiaki - Tue, 12 Feb 2019 16:49:00 +0000
- Re: [isabelle] Fwd: Isabelle też ma pluskwiaki - Thu, 14 Feb 2019 13:37:45 +0000

- Chantal Keller, chantal.keller at wanadoo.fr
- [isabelle] TAP 2019 - First CFP - Mon, 04 Feb 2019 10:37:24 +0000

- Christian Sternagel, c.sternagel at gmail.com
- Re: [isabelle] Questions - Wed, 27 Feb 2019 13:45:46 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 08:25:13 +0000
- Re: [isabelle] a clarification about division by zero in simple type theory and topology - Thu, 28 Feb 2019 08:30:18 +0000

- Chun Tian (binghe), binghe.lisp at gmail.com
- Re: [isabelle] Questions - Wed, 27 Feb 2019 16:47:29 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 08:51:53 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 16:01:03 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 16:40:17 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 09:53:37 +0000

- Dominique Unruh, unruh at ut.ee
- Re: [isabelle] simple type theory vs dependent type theory - Mon, 25 Feb 2019 10:50:50 +0000
- Re: [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 18:20:46 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 13:42:36 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Wed, 27 Feb 2019 23:05:04 +0000
- Re: [isabelle] simple type theory vs dependent type theory - Mon, 25 Feb 2019 22:43:51 +0000
- Re: [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 18:05:10 +0000

- Dr A. Koutsoukou-Argyraki, ak2110 at cam.ac.uk
- Re: [isabelle] Your experience of learning Isabelle - Sat, 23 Feb 2019 19:11:09 +0000

- Freek Wiedijk, freek at cs.ru.nl
- Re: [isabelle] simple type theory vs dependent type theory (was: Your experience of learning Isabelle) - Mon, 25 Feb 2019 09:18:32 +0000
- Re: [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 17:39:02 +0000
- Re: [isabelle] simple type theory vs dependent type theory - Mon, 25 Feb 2019 11:42:03 +0000

- Gerwin.Klein, Gerwin.Klein at data61.csiro.au
- Re: [isabelle] Why does Isabelle pick a user-defined proof method from a different locale interpretation than specified? - Wed, 27 Feb 2019 22:36:50 +0000
- [isabelle] new in the AFP: List_Inversions - Thu, 21 Feb 2019 00:27:24 +0000

- Gidon Ernst, gidon.ernst at unimelb.edu.au
- [isabelle] Structured elim via obtains and cases, intro via ??? - Wed, 13 Feb 2019 09:12:47 +0000
- Re: [isabelle] Structured elim via obtains and cases, intro via ??? - Mon, 18 Feb 2019 01:17:08 +0000
- [isabelle] 4PAD: Symposium on Formal Approaches to Parallel and Distributed Systems Call for Papers - Mon, 11 Feb 2019 03:13:01 +0000

- Johannes Hölzl, johannes.hoelzl at gmx.de
- Re: [isabelle] Questions - Thu, 28 Feb 2019 09:30:17 +0000
- Re: [isabelle] simple type theory vs dependent type theory - Tue, 26 Feb 2019 08:58:28 +0000

- John F. Hughes, jfh at cs.brown.edu
- [isabelle] Assistance (paid) - Sun, 10 Feb 2019 13:26:28 +0000

- Joshua Chen, josh at joshchen.io
- Re: [isabelle] Automatic attribute assignment after axiomatization/proof - Thu, 21 Feb 2019 19:32:42 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 17:53:05 +0000
- [isabelle] Programatically get "this" - Thu, 07 Feb 2019 15:55:23 +0000
- [isabelle] Automatic attribute assignment after axiomatization/proof - Sun, 03 Feb 2019 23:55:20 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 18:54:02 +0000

- Lars Hupel, hupel at in.tum.de
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 08:02:45 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sun, 10 Feb 2019 09:51:00 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 12:33:42 +0000

- Lawrence Paulson, lp15 at cam.ac.uk
- [isabelle] New in the AFP: Universal_Turing_Machine - Tue, 12 Feb 2019 11:55:42 +0000
- Re: [isabelle] Questions - Thu, 28 Feb 2019 11:10:43 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Wed, 06 Feb 2019 10:58:37 +0000

- mailing-list anonymous, mailing.list.anonymous at gmail.com
- [isabelle] Several technical questions/application of "types-to-sets" - Wed, 27 Feb 2019 21:18:28 +0000
- Re: [isabelle] Several technical questions/application of "types-to-sets" - Thu, 28 Feb 2019 14:22:32 +0000

- Makarius, makarius at sketis.net
- Re: [isabelle] Why does Isabelle pick a user-defined proof method from a different locale interpretation than specified? - Wed, 27 Feb 2019 13:05:17 +0000
- Re: [isabelle] Automatic attribute assignment after axiomatization/proof - Mon, 18 Feb 2019 14:16:00 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 14:40:27 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 18:29:28 +0000
- [isabelle] “Hilbert and Isabelle” in Spektrum der Wissenschaft (March 2019) - Thu, 28 Feb 2019 15:13:24 +0000
- Re: [isabelle] Printing terms with type annotations - Sun, 10 Feb 2019 11:07:26 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 19:05:30 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Mon, 18 Feb 2019 14:06:42 +0000
- Re: [isabelle] Structured elim via obtains and cases, intro via ??? - Mon, 18 Feb 2019 13:23:12 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Wed, 27 Feb 2019 13:08:59 +0000
- Re: [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 15:15:34 +0000
- Re: [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 15:08:40 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 11:46:02 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 17:58:02 +0000
- Re: [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 20:55:27 +0000
- Re: [isabelle] Structured elim via obtains and cases, intro via ??? - Sun, 17 Feb 2019 14:54:35 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Thu, 28 Feb 2019 10:12:55 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Thu, 28 Feb 2019 14:44:40 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 15:05:33 +0000
- Re: [isabelle] Programatically get "this" - Mon, 11 Feb 2019 20:28:27 +0000
- Re: [isabelle] "HOL-Library.Code_Char" replacement - Wed, 20 Feb 2019 10:38:49 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Wed, 27 Feb 2019 19:10:36 +0000
- Re: [isabelle] Automatic attribute assignment after axiomatization/proof - Fri, 22 Feb 2019 15:22:13 +0000

- Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Wed, 06 Feb 2019 09:12:30 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Wed, 06 Feb 2019 11:11:46 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Wed, 06 Feb 2019 09:24:06 +0000

- Markus, m.roggenbach at swansea.ac.uk
- [isabelle] 11 fully funded PhD studentships at Swansea University - Mon, 11 Feb 2019 14:49:29 +0000

- Mathias Fleury, mathias.fleury12 at gmail.com
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Fri, 01 Feb 2019 20:48:22 +0000
- [isabelle] cancelation simproc on coefficients of polynoms - Fri, 01 Feb 2019 17:38:50 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Mon, 04 Feb 2019 14:29:52 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Tue, 05 Feb 2019 13:22:10 +0000

- Moa Johansson, moa.johansson at chalmers.se
- [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 16:52:06 +0000

- Mohammad Abdulaziz, mohammad.abdulaziz8 at gmail.com
- [isabelle] "HOL-Library.Code_Char" replacement - Wed, 20 Feb 2019 10:33:44 +0000

- Nguyen Duc Than, thannguyenduc at gmail.com
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 06:03:41 +0000

- noam neer, noamneer at gmail.com
- [isabelle] some proof problems - Sat, 16 Feb 2019 03:05:12 +0000
- [isabelle] [Isabelle] some proof problems - Sat, 16 Feb 2019 03:09:22 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 14:59:52 +0000

- O'Leary, John W, john.w.oleary at intel.com
- [isabelle] ITP 2019: Second Call for Papers - Fri, 15 Feb 2019 23:21:42 +0000

- Pal, Abhik, ab.pal at jacobs-university.de
- [isabelle] Your experience of learning Isabelle - Thu, 21 Feb 2019 17:18:27 +0000

- Peter Lammich, lammich at in.tum.de
- Re: [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 17:09:52 +0000
- Re: [isabelle] Fwd: Isabelle też ma pluskwiaki - Thu, 14 Feb 2019 13:27:27 +0000

- Randy Pollack, rpollack at inf.ed.ac.uk
- Re: [isabelle] simple type theory vs dependent type theory (was: Your experience of learning Isabelle) - Mon, 25 Feb 2019 14:12:17 +0000

- Saburou Saitoh, saburou.saitoh at gmail.com
- [isabelle] Questions - Tue, 26 Feb 2019 21:37:21 +0000
- [isabelle] On the division by zero - Fri, 22 Feb 2019 10:33:59 +0000

- Sandra Alves, sandra at dcc.fc.up.pt
- [isabelle] FSCD 2019 - Deadline reminder (Abstracts: 8 February, Full Papers: 11 February) - Fri, 01 Feb 2019 10:55:17 +0000

- Serge Autexier, serge.autexier at dfki.de
- [isabelle] CICM 2019, July 8-12: 2nd Call for Submissions - Fri, 22 Feb 2019 07:27:16 +0000

- Thomas Sewell, sewell at chalmers.se
- Re: [isabelle] signed and unsigned words - Tue, 19 Feb 2019 13:14:39 +0000

- Tobias Nipkow, nipkow at in.tum.de
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Tue, 05 Feb 2019 19:33:05 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Fri, 01 Feb 2019 18:49:22 +0000
- [isabelle] New AFP entry: UTP - Wed, 06 Feb 2019 18:13:52 +0000
- [isabelle] New AFP entry: Probabilistic Primality Testing - Fri, 15 Feb 2019 19:39:19 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Mon, 04 Feb 2019 16:20:45 +0000
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Mon, 04 Feb 2019 09:45:08 +0000

- Toby.Murray, Toby.Murray at data61.csiro.au
- [isabelle] ENTROPY 2019: Second Call for Papers - Wed, 20 Feb 2019 02:49:12 +0000

- Viorel Preoteasa, viorel.preoteasa at gmail.com
- [isabelle] signed and unsigned words - Mon, 11 Feb 2019 16:28:28 +0000
- Re: [isabelle] signed and unsigned words - Tue, 19 Feb 2019 09:40:30 +0000

- viorel.preoteasa, viorel.preoteasa at gmail.com
- Re: [isabelle] signed and unsigned words - Thu, 21 Feb 2019 17:48:45 +0000

- Walther Neuper, walther.neuper at jku.at
- Re: [isabelle] Questions - Wed, 27 Feb 2019 13:14:01 +0000
- [isabelle] CfP ThEdu'19 - Mon, 25 Feb 2019 13:03:33 +0000

- Wolfgang Jeltsch, wolfgang-it at jeltsch.info
- Re: [isabelle] How can I access a fact statement as a term? - Thu, 28 Feb 2019 13:58:03 +0000
- Re: [isabelle] Why does Isabelle pick a user-defined proof method from a different locale interpretation than specified? - Wed, 27 Feb 2019 16:07:56 +0000
- Re: [isabelle] [Isabelle] some proof problems - Sun, 17 Feb 2019 11:52:50 +0000
- Re: [isabelle] How can I access a fact statement as a term? - Wed, 27 Feb 2019 16:19:12 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 16:55:17 +0000
- Re: [isabelle] Questions - Wed, 27 Feb 2019 16:27:14 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 12:01:09 +0000
- Re: [isabelle] Several technical questions/application of "types-to-sets" - Thu, 28 Feb 2019 13:23:41 +0000
- [isabelle] How can I access a fact statement as a term? - Wed, 27 Feb 2019 11:24:41 +0000
- [isabelle] Why does Isabelle pick a user-defined proof method from a different locale interpretation than specified? - Wed, 06 Feb 2019 17:17:26 +0000