Cl-isabelle-users January 2021 Archives by author

• January 2021 messages sorted by: [ thread ] [ subject ] [ date ]
• More info on this list...
• List archive Table of Contents

• Albert Jiang, albert594250 at gmail.com
  • Re: [isabelle] Translating from Isar to ML? - Tue, 19 Jan 2021 14:25:52 +0000
  • Re: [isabelle] Translating from Isar to ML? - Tue, 19 Jan 2021 13:40:57 +0000
  • [isabelle] Translating from Isar to ML? - Mon, 18 Jan 2021 21:13:04 +0000
• Alessandro Cogliati via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] "Files and Folders" permissions cannot be granted - Wed, 27 Jan 2021 20:57:10 +0000
• Alex Meyer, alex153 at outlook.lv
  • [isabelle] Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Sat, 30 Jan 2021 02:00:44 +0000
  • [isabelle] Pārs.: Isabelle code for getting in-memory representation (abstract syntax trees) for complete theory file (tree of loaded theories) - Sun, 31 Jan 2021 02:49:48 +0000
• Anders Schlichtkrull, andsch at cs.aau.dk
  • [isabelle] Assistant/associate professorship in Copenhagen or Aalborg at Aalborg University - Sat, 30 Jan 2021 15:19:14 +0000
• Andreas Lochbihler, mail at andreas-lochbihler.de
  • Re: [isabelle] Questions about "transfer" - Wed, 06 Jan 2021 20:46:05 +0000
• Andrei Popescu, andrei.h.popescu at gmail.com
  • [isabelle] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) - Wed, 06 Jan 2021 17:12:26 +0000
• Buday Gergely István via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Variable both free and bound?! - Sun, 10 Jan 2021 16:37:43 +0000
• Buday Gergely via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] low-level code formalisations in Isabelle - Mon, 04 Jan 2021 08:46:00 +0000
• Carsten Fuhs, carsten at dcs.bbk.ac.uk
  • [isabelle] FSCD 2021: Second Call for Papers - Mon, 04 Jan 2021 17:08:24 +0000
• Cezary Kaliszyk, cezarykaliszyk at gmail.com
  • [isabelle] Fwd: ITP 2021: Third Call for Papers - Sat, 16 Jan 2021 16:10:27 +0000
• Christian Sternagel, c.sternagel at gmail.com
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Fri, 29 Jan 2021 07:43:45 +0000
• Daniel Kirchner, daniel at ekpyron.org
  • [isabelle] Configurable proposition grammar root symbol for easier definition of custom outer syntax commands. - Thu, 28 Jan 2021 17:55:29 +0000
• David E. Narvaez, den9562 at rit.edu
  • [isabelle] Transfer Question - Sun, 31 Jan 2021 01:55:04 +0000
• David Kretzmer, david.k at posteo.de
  • Re: [isabelle] Detecting undefined - Mon, 11 Jan 2021 17:48:02 +0000
  • [isabelle] Detecting undefined - Sat, 09 Jan 2021 19:31:56 +0000
  • Re: [isabelle] Detecting undefined - Mon, 11 Jan 2021 14:14:13 +0000
• Dey, Katie, katie.dey at vanderbilt.edu
  • [isabelle] CFP: HCSS 2021 - High Confidence Software and Systems Conference - Tue, 19 Jan 2021 13:30:22 +0000
• Dominique Unruh, unruh at ut.ee
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 13:40:56 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 14:15:52 +0000
  • [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 13:16:12 +0000
  • Re: [isabelle] Translating from Isar to ML? - Tue, 19 Jan 2021 14:12:31 +0000
• Dr. Brendan Patrick Mahony, mahonybp at tpg.com.au
  • Re: [isabelle] Custom fonts in browser_info html? - Fri, 08 Jan 2021 04:09:48 +0000
• Enrico Tassi, Enrico.Tassi at inria.fr
  • [isabelle] [CFP] Logical Frameworks and Meta-Languages: Theory and Practice - Fri, 15 Jan 2021 16:30:20 +0000
• Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Sun, 31 Jan 2021 12:31:44 +0000
  • [isabelle] Isabelle2021-RC1 - sledgehammer suggestion "by presburger" sometimes fails - Sat, 09 Jan 2021 15:21:35 +0000
  • [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Wed, 06 Jan 2021 14:34:26 +0000
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Sun, 10 Jan 2021 19:24:55 +0000
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Sun, 31 Jan 2021 12:47:52 +0000
  • [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Tue, 05 Jan 2021 23:28:42 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Wed, 27 Jan 2021 21:24:24 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Sun, 10 Jan 2021 20:56:25 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Mon, 11 Jan 2021 13:52:46 +0000
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Sun, 03 Jan 2021 16:35:04 +0000
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Sun, 31 Jan 2021 13:27:02 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Wed, 06 Jan 2021 11:03:38 +0000
• Fabian Immler via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Fri, 08 Jan 2021 15:53:10 +0000
• Fernandez, Matthew, matthew.fernandez at intel.com
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Tue, 26 Jan 2021 21:08:30 +0000
  • [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Tue, 26 Jan 2021 16:19:33 +0000
• Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • Re: [isabelle] Some lemmas on factorial rings - Thu, 14 Jan 2021 15:28:14 +0000
  • Re: [isabelle] Lemma suggestion to Function_Algebras - Thu, 14 Jan 2021 15:20:51 +0000
  • Re: [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Sat, 16 Jan 2021 09:21:07 +0000
  • [isabelle] Bootstrap problem in Isabelle2021-RC1: Consumer thread failure: "Isabelle.Session.manager" - Sun, 03 Jan 2021 09:44:58 +0000
• Frederic Loulergue, frederic.loulergue at univ-orleans.fr
  • [isabelle] Call for Papers: Tests and Proofs 2021 (TAP 2021) - Wed, 06 Jan 2021 09:29:09 +0000
• Gerwin Klein, kleing at unsw.edu.au
  • Re: [isabelle] Updating AFP entry - Tue, 12 Jan 2021 23:26:59 +0000
  • [isabelle] AFP 2021 preparations - Tue, 12 Jan 2021 23:39:29 +0000
  • Re: [isabelle] AFP 2021 preparations - Sun, 24 Jan 2021 23:57:24 +0000
  • Re: [isabelle] AFP 2021 preparations - Mon, 25 Jan 2021 21:49:38 +0000
  • Re: [isabelle] AFP 2021 preparations - Fri, 15 Jan 2021 10:24:24 +0000
• Giles Reger, giles.reger at manchester.ac.uk
  • [isabelle] ATVA 2021 - Call for Papers - Tue, 19 Jan 2021 08:13:26 +0000
• itp2021-workshops, itp2021-workshops at easyconferences.eu
  • [isabelle] ITP2021: Second Call for Workshops (Deadline 11 January 2021) - Tue, 05 Jan 2021 15:05:54 +0000
• Jasmin Blanchette via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] CADE-28: $n$th call for papers - Fri, 22 Jan 2021 20:05:29 +0000
• Jens-D. Doll, jens.doll at live.de
  • [isabelle] Epigenetics and similar Phenomena - Sun, 17 Jan 2021 11:57:21 +0000
• Kawin Worrasangasilpa, kw448 at cam.ac.uk
  • [isabelle] Cannot load theory when building - Sat, 02 Jan 2021 08:23:26 +0000
• Kevin Kruse, kevin.kruse at rwth-aachen.de
  • Re: [isabelle] Derive bounded sets from extended nat - Mon, 18 Jan 2021 22:06:11 +0000
• Kruse, Kevin, kevin.kruse at rwth-aachen.de
  • [isabelle] Derive bounded sets from extended nat - Sun, 17 Jan 2021 15:20:18 +0000
• Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] Detecting undefined - Mon, 11 Jan 2021 14:21:35 +0000
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Sat, 02 Jan 2021 11:14:28 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 14:54:07 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 16:44:27 +0000
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Fri, 01 Jan 2021 16:29:06 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 15:42:02 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 09:48:23 +0000
• Lorenzo Gheri, lor.gheri at gmail.com
  • [isabelle] Research assistant/associate position at Imperial College London - Mon, 04 Jan 2021 17:53:54 +0000
• Makarius, makarius at sketis.net
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Tue, 26 Jan 2021 16:39:22 +0000
  • Re: [isabelle] Isabelle2021-RC3: update of Scala, but not OpenJDK - Sun, 24 Jan 2021 18:57:05 +0000
  • Re: [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles - Sat, 23 Jan 2021 14:26:28 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Wed, 27 Jan 2021 20:58:52 +0000
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Tue, 26 Jan 2021 21:03:26 +0000
  • Re: [isabelle] Any fans of "try"? - Sun, 03 Jan 2021 11:53:25 +0000
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Sun, 10 Jan 2021 15:58:33 +0000
  • Re: [isabelle] Translating from Isar to ML? - Tue, 19 Jan 2021 15:18:40 +0000
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Sun, 10 Jan 2021 15:56:20 +0000
  • [isabelle] Blog entry: Release Candidates for Isabelle2021 - Tue, 19 Jan 2021 15:44:44 +0000
  • Re: [isabelle] Question about "try" and future tasks - Sat, 02 Jan 2021 10:36:09 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Sun, 24 Jan 2021 21:37:15 +0000
  • Re: [isabelle] UTF8 chars behavior - Thu, 28 Jan 2021 11:11:56 +0000
  • Re: [isabelle] Issue with Isabelle/jEdit in fullscreen mode in macOS Big Sur - Sun, 10 Jan 2021 16:09:40 +0000
  • [isabelle] Isabelle2021-RC2 available for testing - Sun, 10 Jan 2021 15:52:52 +0000
  • Re: [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Sun, 24 Jan 2021 18:58:56 +0000
  • Re: [isabelle] Issue with Isabelle/jEdit in fullscreen mode in macOS Big Sur - Sat, 02 Jan 2021 10:25:42 +0000
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Thu, 07 Jan 2021 13:57:52 +0000
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Thu, 28 Jan 2021 11:19:00 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 22:18:58 +0000
  • Re: [isabelle] Isabelle2021-RC1 - editing below sometimes causes rechecking above? - Sun, 10 Jan 2021 15:57:34 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 15:24:17 +0000
  • Re: [isabelle] Using LaTeX output print mode for source text - Sat, 02 Jan 2021 10:48:08 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Sun, 10 Jan 2021 18:47:47 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 16:54:27 +0000
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Fri, 08 Jan 2021 20:17:48 +0000
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mon, 25 Jan 2021 20:06:51 +0000
  • Re: [isabelle] Debug facilities of locales - Sun, 10 Jan 2021 18:26:59 +0000
  • Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Sun, 24 Jan 2021 19:28:46 +0000
  • Re: [isabelle] Cannot load theory when building - Sat, 02 Jan 2021 10:03:54 +0000
  • Re: [isabelle] Sledgehammer errors (Isabelle 2020) - Sun, 03 Jan 2021 14:42:58 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Mon, 11 Jan 2021 15:18:25 +0000
  • Re: [isabelle] Custom fonts in browser_info html? - Sun, 03 Jan 2021 12:03:16 +0000
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mon, 25 Jan 2021 17:00:56 +0000
  • Re: [isabelle] Isabelle keywords - Sat, 16 Jan 2021 13:03:13 +0000
  • Re: [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Tue, 19 Jan 2021 17:36:22 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Mon, 11 Jan 2021 15:26:08 +0000
  • Re: [isabelle] Variable both free and bound?! - Sun, 10 Jan 2021 18:34:36 +0000
  • Re: [isabelle] AFP 2021 preparations - Mon, 25 Jan 2021 09:04:20 +0000
  • Re: [isabelle] sledgehammer (or Z3) internal error - Sun, 03 Jan 2021 12:00:20 +0000
  • Re: [isabelle] Go-to-definition doesn't work when exploring library. - Mon, 04 Jan 2021 12:37:38 +0000
  • Re: [isabelle] Bootstrap problem in Isabelle2021-RC1: Consumer thread failure: "Isabelle.Session.manager" - Sun, 03 Jan 2021 11:27:14 +0000
  • [isabelle] F-IDE 2021 - 2nd Call for Papers - Sun, 10 Jan 2021 18:24:09 +0000
  • Re: [isabelle] Translating from Isar to ML? - Tue, 19 Jan 2021 11:55:07 +0000
  • Re: [isabelle] Variable both free and bound?! - Sun, 10 Jan 2021 18:20:58 +0000
  • Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output - Sun, 24 Jan 2021 19:08:33 +0000
  • Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) - Wed, 27 Jan 2021 19:16:44 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 15:36:35 +0000
  • Re: [isabelle] Isabelle2021-RC0: Java/VM monitor - Fri, 01 Jan 2021 09:38:35 +0000
  • [isabelle] Isabelle2021-RC3 available for testing - Sun, 24 Jan 2021 18:39:03 +0000
  • Re: [isabelle] Bug report Isabelle 2019 and Isabelle 2020 - Sat, 02 Jan 2021 10:40:04 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Sun, 24 Jan 2021 19:06:11 +0000
  • Re: [isabelle] Isabelle2021-RC3: update of Scala, but not OpenJDK - Sun, 24 Jan 2021 21:00:32 +0000
  • Re: [isabelle] Apple switching to ARM - Sun, 03 Jan 2021 11:37:39 +0000
  • Re: [isabelle] Custom fonts in browser_info html? - Fri, 08 Jan 2021 15:29:36 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Wed, 27 Jan 2021 20:55:02 +0000
  • Re: [isabelle] quote in mixfix annotation - Sat, 02 Jan 2021 10:11:37 +0000
  • Re: [isabelle] Isabelle2021-RC3: Java 11 (LTS) vs. Java 15 (MTS) - Tue, 26 Jan 2021 17:46:35 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 16:06:30 +0000
  • Re: [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Sun, 10 Jan 2021 16:04:50 +0000
• Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] brute force search in lists - Mon, 11 Jan 2021 08:11:18 +0000
  • Re: [isabelle] Derive bounded sets from extended nat - Mon, 18 Jan 2021 10:25:08 +0000
  • [isabelle] Questions about "transfer" - Tue, 05 Jan 2021 12:40:37 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 26 Jan 2021 17:50:12 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 15:55:47 +0000
  • [isabelle] New in the AFP: The HOL-CSP Refinement Toolkit - Tue, 12 Jan 2021 12:10:00 +0000
  • Re: [isabelle] Detecting undefined - Mon, 11 Jan 2021 11:47:44 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 13:33:21 +0000
• marco caminati via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 14:21:24 +0000
  • Re: [isabelle] Isabelle2021-RC2: Problems downloading - Tue, 19 Jan 2021 14:03:47 +0000
• Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Mon, 11 Jan 2021 07:28:36 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Thu, 14 Jan 2021 06:23:58 +0000
  • Re: [isabelle] Isabelle2021-RC1 - error highlighting - Thu, 07 Jan 2021 15:40:29 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Wed, 06 Jan 2021 08:29:51 +0000
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Sun, 31 Jan 2021 12:50:42 +0000
  • [isabelle] Isabelle2021-RC1 - error highlighting - Wed, 06 Jan 2021 14:42:55 +0000
  • Re: [isabelle] Sledgehammer errors (Isabelle 2020) - Sun, 03 Jan 2021 17:18:53 +0000
  • Re: [isabelle] Isabelle2021-RC3 New failure mode for "try"/sledgehammer - Sun, 31 Jan 2021 12:43:53 +0000
• Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Fri, 01 Jan 2021 19:55:24 +0000
  • Re: [isabelle] Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Fri, 01 Jan 2021 21:45:02 +0000
  • [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Fri, 15 Jan 2021 21:46:47 +0000
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mon, 25 Jan 2021 19:58:19 +0000
  • Re: [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Mon, 25 Jan 2021 18:51:34 +0000
  • Re: [isabelle] Questions about "transfer" - Tue, 05 Jan 2021 23:20:18 +0000
  • [isabelle] rewrite, subst, uses and sequential composition: peculiar behaviour - Sun, 24 Jan 2021 23:13:17 +0000
  • Re: [isabelle] Two questions about the availability of certain functionality from the public interface associated with the Isabelle/ML infrastructure - Sat, 16 Jan 2021 14:15:22 +0000
  • Re: [isabelle] Questions about "transfer" - Wed, 06 Jan 2021 23:30:49 +0000
• Nadel, Alexander, alexander.nadel at intel.com
  • [isabelle] SMT 2021 Workshop: Call for Papers - Wed, 13 Jan 2021 12:25:47 +0000
• Norbert Schirmer via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] Isabelle2021-RC2, Isabelle/jEdit getting sluggish - Tue, 19 Jan 2021 16:56:10 +0000
• Peter Achten, P.Achten at cs.ru.nl
  • [isabelle] [TFP'21] final call for papers: Trends in Functional Programming 2021, 17-19 February (online event with Lambda Days 2021 & TFPIE 2021) - Fri, 08 Jan 2021 08:09:47 +0000
  • [isabelle] [Lambda Days + TFP + TFPIE 2021] call for participation - Fri, 22 Jan 2021 13:53:16 +0000
• Serge Autexier, serge.autexier at dfki.de
  • [isabelle] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 - Wed, 27 Jan 2021 08:16:58 +0000
• Stepan Holub, holub at karlin.mff.cuni.cz
  • [isabelle] brute force search in lists - Sun, 10 Jan 2021 11:16:33 +0000
• Stephan Merz, stephan.merz at loria.fr
  • [isabelle] Isabelle keywords - Sat, 16 Jan 2021 09:55:52 +0000
• Thomas Sewell, tals4 at cam.ac.uk
  • [isabelle] Fwd: Re: Several questions about the availability of certain specific proof tools for classical reasoning/simplification in Isabelle/HOL - Mon, 04 Jan 2021 17:23:13 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Thu, 14 Jan 2021 16:27:58 +0000
  • Re: [isabelle] Isabelle2021-RC1 - Any way to limit "veriT" memory use? - Thu, 28 Jan 2021 12:31:07 +0000
• Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] Some lemmas with a combinatoric flavor - Wed, 20 Jan 2021 12:51:01 +0000
  • [isabelle] New AFP entry: JinjaDCI: a Java semantics with dynamic class initialization - Wed, 13 Jan 2021 09:36:41 +0000
  • Re: [isabelle] Console errors in AFP build after push - Tue, 19 Jan 2021 14:40:44 +0000
  • Re: [isabelle] Detecting undefined - Mon, 11 Jan 2021 11:35:22 +0000
  • Re: [isabelle] Updating AFP entry - Tue, 12 Jan 2021 07:36:17 +0000
  • Re: [isabelle] Some lemmas with a combinatoric flavor - Tue, 19 Jan 2021 10:30:20 +0000
  • Re: [isabelle] Console errors in AFP build after push - Tue, 19 Jan 2021 18:00:31 +0000
  • [isabelle] Isabelle document generation and ACM and LIPIcs LaTeX styles - Wed, 20 Jan 2021 07:36:40 +0000
• Alexander Kogtenkov via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • [isabelle] Questionnaire on deployed verified systems - Tue, 05 Jan 2021 12:24:13 +0000
• Thiemann, René, Rene.Thiemann at uibk.ac.at
  • Re: [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Mon, 11 Jan 2021 17:53:18 +0000
  • [isabelle] Isabelle 2021-RC1: Problem with fonts in jEdit - Sun, 10 Jan 2021 13:29:29 +0000
• Florian Märkl, isabelle-users at florianmaerkl.de
  • [isabelle] Strange "Tactic failed" error in lift_definition with (code_dt) seemingly depending on syntactic details - Sat, 09 Jan 2021 18:12:28 +0000
• Frédéric Boulanger, frederic.boulanger at lri.fr
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 12:29:35 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 10:15:15 +0000
  • Re: [isabelle] Isabelle C wrapper [was RE: Isabelle2021-RC3: macOS access to Documents folder etc.] - Tue, 26 Jan 2021 20:25:27 +0000
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Mon, 25 Jan 2021 16:38:46 +0000
• Jakub Kądziołka, kuba at kadziolka.net
  • Re: [isabelle] Isabelle2021-RC3: macOS access to Documents folder etc. - Tue, 26 Jan 2021 11:08:00 +0000
  • [isabelle] Variable both free and bound?! - Fri, 08 Jan 2021 22:34:26 +0000
  • [isabelle] Isabelle2021-RC2: slight regression in HTML output - Tue, 12 Jan 2021 23:34:28 +0000
  • Re: [isabelle] Isabelle2021-RC2: slight regression in HTML output - Sun, 24 Jan 2021 22:21:58 +0000
  • [isabelle] Some lemmas on factorial rings - Wed, 13 Jan 2021 23:20:44 +0000
  • Re: [isabelle] Variable both free and bound?! - Sun, 10 Jan 2021 16:39:41 +0000
  • [isabelle] Some lemmas with a combinatoric flavor - Sun, 17 Jan 2021 23:22:49 +0000
  • [isabelle] Go-to-definition doesn't work when exploring library. - Sun, 03 Jan 2021 23:58:18 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Sun, 10 Jan 2021 22:12:41 +0000
• Pedro Sánchez Terraf, sterraf at famaf.unc.edu.ar
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Mon, 18 Jan 2021 16:14:19 +0000
  • [isabelle] Updating AFP entry - Mon, 11 Jan 2021 18:14:39 +0000
  • [isabelle] UTF8 chars behavior - Thu, 28 Jan 2021 03:58:06 +0000
  • [isabelle] Console errors in AFP build after push - Tue, 19 Jan 2021 14:36:39 +0000
  • Re: [isabelle] Isabelle2021-RC2: improved HTML presentation - Mon, 25 Jan 2021 20:50:15 +0000
• Walther Neuper, walther.neuper at jku.at
  • [isabelle] CfP Theorem Proving Components for Educational Software at CADE-28 - Sun, 03 Jan 2021 16:33:48 +0000
• Wenda Li, wl302 at cam.ac.uk
  • [isabelle] CFP: Workshop on the Role of Mathematical Reasoning in General Artificial Intelligence at ICLR 2021 - Tue, 26 Jan 2021 23:14:57 +0000
• Jørgen Villadsen via Cl-isabelle-users, cl-isabelle-users at lists.cam.ac.uk
  • Re: [isabelle] "Files and Folders" permissions cannot be granted - Sat, 30 Jan 2021 00:15:35 +0000