Cl-isabelle-users November 2020 Archives by author
- Andreas Lochbihler, mail at andreas-lochbihler.de
- Andrei Popescu, andrei.h.popescu at gmail.com
- Buday Gergely via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Carsten Fuhs, carsten at dcs.bbk.ac.uk
- David Kretzmer, david.k at posteo.de
- Re: [isabelle] Codegen for List.member overwrites List structure in SML - Tue, 10 Nov 2020 19:57:40 +0000
- Re: [isabelle] Document preparation from within Isabelle/jEdit - Fri, 06 Nov 2020 22:16:39 +0000
- [isabelle] Codegen for List.member overwrites List structure in SML - Tue, 10 Nov 2020 10:00:56 +0000
- [isabelle] Document preparation from within Isabelle/jEdit - Fri, 06 Nov 2020 16:59:24 +0000
- [isabelle] Code generation: transitive closure of inductive predicate does not terminate - Tue, 03 Nov 2020 17:24:58 +0000
- Re: [isabelle] Document preparation from within Isabelle/jEdit - Fri, 06 Nov 2020 22:50:28 +0000
- [isabelle] Code generation for non-terminating functions - Tue, 17 Nov 2020 18:12:21 +0000
- Re: [isabelle] Code generation: transitive closure of inductive predicate does not terminate - Wed, 04 Nov 2020 20:21:15 +0000
- Re: [isabelle] Code generation: transitive closure of inductive predicate does not terminate - Wed, 04 Nov 2020 14:50:07 +0000
- Re: [isabelle] Code generation for non-terminating functions - Tue, 17 Nov 2020 19:56:45 +0000
- Dominique Unruh, unruh at ut.ee
- Eugene W. Stark, isabelle-users at starkeffect.com
- Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
- Freek Wiedijk, freek at cs.ru.nl
- Jason Gross, jasongross9 at gmail.com
- Kawin Worrasangasilpa, kw448 at cam.ac.uk
- Klein, Gerwin (Data61, Kensington NSW), Gerwin.Klein at data61.csiro.au
- Laarman, A.W., a.w.laarman at liacs.leidenuniv.nl
- Lawrence Paulson, lp15 at cam.ac.uk
- Liron Cohen, cliron at bgu.ac.il
- Luckhardt, Daniel, daniel.luckhardt at mathematik.uni-goettingen.de
- Lukas Bulwahn, lukas.bulwahn at gmail.com
- MACKENZIE Carlin, s1724780 at sms.ed.ac.uk
- Makarius, makarius at sketis.net
- [isabelle] Isabelle2021-RC0 available for early experiments - Mon, 30 Nov 2020 12:53:18 +0000
- Re: [isabelle] Another Issue with Isabelle/jEdit with macOS Big Sur - Fri, 20 Nov 2020 10:58:58 +0000
- Re: [isabelle] Counting lines of code/definition vs proof? - Thu, 19 Nov 2020 13:55:05 +0000
- Re: [isabelle] Document preparation from within Isabelle/jEdit - Fri, 06 Nov 2020 20:59:20 +0000
- Re: [isabelle] Improvement suggestion for isabelle process - Sat, 07 Nov 2020 16:31:18 +0000
- Re: [isabelle] Unknown JAVA_HOME -- Java unavailable - Mon, 30 Nov 2020 13:06:07 +0000
- Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Sat, 21 Nov 2020 12:02:51 +0000
- Re: [isabelle] Manually using a SideKick parser - Thu, 19 Nov 2020 11:47:05 +0000
- Re: [isabelle] Another Issue with Isabelle/jEdit with macOS Big Sur - Thu, 19 Nov 2020 16:39:52 +0000
- Re: [isabelle] Document preparation from within Isabelle/jEdit - Fri, 06 Nov 2020 22:29:06 +0000
- Re: [isabelle] Observations on ZF - Sun, 29 Nov 2020 12:48:43 +0000
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Sat, 07 Nov 2020 23:02:53 +0000
- Re: [isabelle] Implicit exporting of goal state by different commands (done, by, qed) - Sat, 07 Nov 2020 21:09:37 +0000
- Re: [isabelle] Observations on ZF - Sun, 29 Nov 2020 12:20:01 +0000
- Re: [isabelle] How do I set --maxheap greater than 16G on Linux? - Sat, 07 Nov 2020 21:14:18 +0000
- Manuel Eberl, eberlm at in.tum.de
- Mathias Fleury, mathias.fleury12 at gmail.com
- Max Haslbeck, max.haslbeck at gmx.de
- Mikhail Chekhov, mikhail.chekhov.w at gmail.com
- Mikhail Mandrykin, mandrykin at ispras.ru
- Moscato, Mariano M. (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Norbert Schirmer via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Peter Reitinger, peter.reitinger at gmail.com
- Stepan Holub, holub at karlin.mff.cuni.cz
- Thomas Sewell, tals4 at cam.ac.uk
- Tobias Nipkow, nipkow at in.tum.de
- Thiemann, René, Rene.Thiemann at uibk.ac.at
- Jakub Kądziołka, kuba at kadziolka.net
- Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.