Cl-isabelle-users February 2021 Archives by author
- Alex Meyer, alex153 at outlook.lv
- Andreas Lochbihler, mail at andreas-lochbihler.de
- Andrei Paskevich, andrei.paskevich at lri.fr
- Andrei Popescu, andrei.h.popescu at gmail.com
- Boris Shminke via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Burkhart Wolff, wolff at lri.fr
- Carsten Fuhs, carsten at dcs.bbk.ac.uk
- C. Diekmann, diekmann at in.tum.de
- Christian Pardillo Laursen, cp735 at cam.ac.uk
- Christian Sternagel, c.sternagel at gmail.com
- Clemens Ballarin, ballarin at in.tum.de
- David Cock, david.cock at inf.ethz.ch
- Dmitriy Traytel, traytel at di.ku.dk
- Dominique Unruh, unruh at ut.ee
- Dr A. Koutsoukou-Argyraki, ak2110 at cam.ac.uk
- Ekaterina Komendantskaya, komendantskaya at gmail.com
- Eugene W. Stark, isabelle-users at starkeffect.com
- Fernandez, Matthew, matthew.fernandez at intel.com
- Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
- Frederic Loulergue, frederic.loulergue at univ-orleans.fr
- Freek Verbeek, freek at vt.edu
- Freek Wiedijk, freek at cs.ru.nl
- Gerwin Klein, kleing at unsw.edu.au
- Re: [isabelle] Syntax proposal: multiway if - Wed, 10 Feb 2021 21:38:22 +0000
- [isabelle] New in the AFP: The Laws of Large Numbers - Thu, 11 Feb 2021 05:40:33 +0000
- Re: [isabelle] AFP instructions - Sun, 28 Feb 2021 21:24:44 +0000
- Re: [isabelle] AFP instructions - Thu, 25 Feb 2021 09:47:39 +0000
- Re: [isabelle] AFP instructions - Thu, 25 Feb 2021 21:59:53 +0000
- Re: [isabelle] AFP instructions - Fri, 26 Feb 2021 05:44:17 +0000
- Re: [isabelle] AFP instructions - Wed, 24 Feb 2021 22:14:36 +0000
- [isabelle] New in the AFP: A Verified Imperative Implementation of B-Trees - Fri, 26 Feb 2021 06:26:54 +0000
- [isabelle] AFP 2021 - Tue, 23 Feb 2021 10:19:22 +0000
- Re: [isabelle] AFP instructions - Wed, 24 Feb 2021 23:47:28 +0000
- Jasmin Blanchette via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Jeffrey Ketland, jeffreyketland at gmail.com
- Jens-D. Doll, jens.doll at live.de
- Jeremy Dawson, Jeremy.Dawson at anu.edu.au
- Lawrence Paulson, lp15 at cam.ac.uk
- Lukas Stevens, lukas.stevens+isabelle-users at in.tum.de
- Makarius, makarius at sketis.net
- Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Fri, 05 Feb 2021 13:35:56 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Thu, 11 Feb 2021 13:22:22 +0000
- Re: [isabelle] AFP instructions - Thu, 25 Feb 2021 11:20:08 +0000
- Re: [isabelle] Isabelle2021-RC4: bundling of Naproche-SAD - Mon, 01 Feb 2021 14:51:13 +0000
- Re: [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 14:26:23 +0000
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Wed, 03 Feb 2021 12:58:23 +0000
- Re: [isabelle] AFP instructions - Sat, 27 Feb 2021 11:34:39 +0000
- Re: [isabelle] Error in DockerHub documentation - Wed, 24 Feb 2021 19:52:45 +0000
- Re: [isabelle] Request for TTP and PTT Interfaces - Tue, 23 Feb 2021 12:58:15 +0000
- Re: [isabelle] Isabelle2021-RC5: support for Apple Silicon - Sat, 13 Feb 2021 12:57:04 +0000
- Re: [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 12:29:08 +0000
- Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Mon, 01 Feb 2021 15:11:51 +0000
- Re: [isabelle] AFP instructions - Sat, 27 Feb 2021 11:18:18 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Tue, 09 Feb 2021 19:33:31 +0000
- Re: [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 12:23:15 +0000
- Re: [isabelle] AFP instructions - Wed, 24 Feb 2021 18:38:04 +0000
- [isabelle] Isabelle2021-RC5 available for applications - Mon, 08 Feb 2021 21:42:36 +0000
- Re: [isabelle] isabelle scala_project and Gradle / IntelliJ support - Thu, 11 Feb 2021 13:44:13 +0000
- Re: [isabelle] AFP 2021 - Tue, 23 Feb 2021 11:55:31 +0000
- Re: [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 14:38:53 +0000
- Re: [isabelle] Error in DockerHub documentation - Sun, 28 Feb 2021 11:00:01 +0000
- Re: [isabelle] AFP instructions - Thu, 25 Feb 2021 11:25:07 +0000
- Re: [isabelle] Error in DockerHub documentation - Wed, 24 Feb 2021 18:01:09 +0000
- Re: [isabelle] Comparing Isabelle/Scala with scala-isabelle. Was: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Tue, 09 Feb 2021 20:19:27 +0000
- Re: [isabelle] Open pdf files from Isabelle File Browser - Tue, 16 Feb 2021 09:56:10 +0000
- [isabelle] Announcing Isabelle2021 - Sun, 21 Feb 2021 20:50:19 +0000
- Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output - Mon, 01 Feb 2021 14:58:59 +0000
- [isabelle] Isabelle2021-RC4 available for applications - Mon, 01 Feb 2021 14:45:46 +0000
- [isabelle] Isabelle2021-RC6 available for applications - Sun, 14 Feb 2021 18:42:54 +0000
- Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) - Mon, 01 Feb 2021 15:09:41 +0000
- Re: [isabelle] Isabelle logo terms of use - Tue, 02 Feb 2021 19:54:58 +0000
- Re: [isabelle] AFP instructions - Sat, 27 Feb 2021 12:29:20 +0000
- Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Tue, 16 Feb 2021 10:18:24 +0000
- [isabelle] Remaining uses of "isabelle process" and "isabelle console" - Sat, 27 Feb 2021 15:26:50 +0000
- Re: [isabelle] Isabelle2021-RC5: support for Apple Silicon - Mon, 08 Feb 2021 22:09:13 +0000
- Re: [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Fri, 05 Feb 2021 19:58:09 +0000
- Manuel Eberl, eberlm at in.tum.de
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Wed, 24 Feb 2021 16:15:19 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Fri, 26 Feb 2021 15:51:42 +0000
- Re: [isabelle] Berghofer's program extraction mechanism and code generation - Tue, 23 Feb 2021 18:09:04 +0000
- [isabelle] New in the AFP: Solution to the xkcd Blue Eyes puzzle - Mon, 01 Feb 2021 17:24:18 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Fri, 26 Feb 2021 16:26:51 +0000
- [isabelle] Syntax proposal: multiway if - Wed, 10 Feb 2021 15:07:27 +0000
- [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 12:03:35 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Wed, 24 Feb 2021 14:59:51 +0000
- Re: [isabelle] Syntax proposal: multiway if - Fri, 19 Feb 2021 15:37:17 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Fri, 26 Feb 2021 16:15:52 +0000
- Re: [isabelle] Unfixed variables in "define" command - Mon, 22 Feb 2021 13:29:32 +0000
- Re: [isabelle] Some more polishing of the multiset theory - Sat, 13 Feb 2021 10:44:29 +0000
- Re: [isabelle] Syntax proposal: multiway if - Wed, 10 Feb 2021 19:03:08 +0000
- Re: [isabelle] New in the AFP: Formal Puiseux Series - Fri, 26 Feb 2021 15:42:48 +0000
- Re: [isabelle] Syntax proposal: multiway if - Wed, 10 Feb 2021 15:54:01 +0000
- Marmsoler, Diego, D.Marmsoler at exeter.ac.uk
- Mathias Fleury, mathias.fleury12 at gmail.com
- McCue, Brian, brian.mccue at snhu.edu
- Michael Whalen via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
- Mikhail Chekhov, mikhail.chekhov.w at gmail.com
- Mohammad Abdulaziz, mohammad.abdulaziz8 at gmail.com
- Nadel, Alexander, alexander.nadel at intel.com
- Pascal Fontaine, Pascal.Fontaine at inria.fr
- Peter Koepke, koepke at math.uni-bonn.de
- Peter Lammich, lammich at in.tum.de
- Serge Autexier, serge.autexier at dfki.de
- Stepan Holub, holub at karlin.mff.cuni.cz
- Temur Kutsia, kutsia at risc.jku.at
- Thomas Sewell, tals4 at cam.ac.uk
- Tjark Weber, tjark.weber at it.uu.se
- Tobias Nipkow, nipkow at in.tum.de
- Jesús Giráldez Crú, jgiraldez at ugr.es
- Stüber, Sebastian, stueber at se-rwth.de
- Florian Märkl, isabelle-users at florianmaerkl.de
- Jakub Kądziołka, kuba at kadziolka.net
- Walther Neuper, walther.neuper at jku.at
- Wenda Li, wl302 at cam.ac.uk
- YAMADA, Akihisa, ayamada at trs.cm.is.nagoya-u.ac.jp
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.