- 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: Kruskal's Algorithm for Minimum Spanning Forest - Tue, 19 Feb 2019 10:54:29 +0000
- [isabelle] New in the AFP: Elementary Facts About the Distribution of Primes - Fri, 22 Feb 2019 10:49:14 +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
- [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 05:55:56 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sun, 10 Feb 2019 19:58:16 +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] 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

- 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

- Dominique Unruh, unruh at ut.ee
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 13:42:36 +0000
- Re: [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 18:20:46 +0000
- Re: [isabelle] Printing terms with type annotations - Wed, 06 Feb 2019 18:05:10 +0000

- Freek Wiedijk, freek at cs.ru.nl
- Re: [isabelle] Your experience of learning Isabelle - Fri, 22 Feb 2019 17:39:02 +0000

- Gerwin.Klein, Gerwin.Klein at data61.csiro.au
- [isabelle] new in the AFP: List_Inversions - Thu, 21 Feb 2019 00:27:24 +0000

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

- Lars Hupel, hupel at in.tum.de
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sun, 10 Feb 2019 09:51:00 +0000
- Re: [isabelle] Bad theory import "Polynomial_Factorization.Polynomial_Divisibility" - Sat, 09 Feb 2019 08:02:45 +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] cancelation simproc on coefficients of polynoms - Wed, 06 Feb 2019 10:58:37 +0000

- Makarius, makarius at sketis.net
- Re: [isabelle] Automatic attribute assignment after axiomatization/proof - Mon, 18 Feb 2019 14:16:00 +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] some proof problems - Sun, 17 Feb 2019 14:40:27 +0000
- Re: [isabelle] Structured elim via obtains and cases, intro via ??? - Sun, 17 Feb 2019 14:54:35 +0000
- Re: [isabelle] Programatically get "this" - Sun, 10 Feb 2019 18:29:28 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 15:05:33 +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] 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] Your experience of learning Isabelle - Fri, 22 Feb 2019 15:15:34 +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:24:06 +0000
- 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

- 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] [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
- [isabelle] some proof problems - Sat, 16 Feb 2019 03:05:12 +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

- 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 - Mon, 04 Feb 2019 16:20:45 +0000
- 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
- Re: [isabelle] cancelation simproc on coefficients of polynoms - Mon, 04 Feb 2019 09:45:08 +0000
- [isabelle] New AFP entry: Probabilistic Primality Testing - Fri, 15 Feb 2019 19:39:19 +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

- Wolfgang Jeltsch, wolfgang-it at jeltsch.info
- Re: [isabelle] [Isabelle] some proof problems - Sun, 17 Feb 2019 11:52:50 +0000
- Re: [isabelle] some proof problems - Sun, 17 Feb 2019 12:01:09 +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