Cl-isabelle-users October 2020 Archives by author

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

• Andreas Lochbihler, mail at andreas-lochbihler.de
  • Re: [isabelle] scope of facts arising from `subgoal` - Tue, 13 Oct 2020 06:34:49 +0100
• Andrei Paskevich, andrei.paskevich at lri.fr
  • [isabelle] F-IDE 2021 - Call for Papers - Mon, 19 Oct 2020 17:17:44 +0100
• Andrei Popescu, andrei.h.popescu at gmail.com
  • Re: [isabelle] list_all vs set membership - Wed, 14 Oct 2020 23:31:55 +0100
• Andrew Tolmach, tolmach at pdx.edu
  • [isabelle] Faculty position at Portland State University - Sun, 25 Oct 2020 21:02:12 +0000
• Bisping, Benjamin, benjamin.bisping at tu-berlin.de
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 10:27:17 +0100
• Carsten Fuhs, carsten at dcs.bbk.ac.uk
  • [isabelle] FSCD 2021: Call for Workshop Proposals - Wed, 28 Oct 2020 11:34:49 +0000
• Chuangjie Xu, cj-xu at outlook.com
  • [isabelle] Research position at fortiss, Munich - Mon, 26 Oct 2020 13:14:36 +0000
• C.L. Edmonds, cle47 at cam.ac.uk
  • [isabelle] Questions on locales - structure keyword and local definitions - Tue, 06 Oct 2020 13:05:53 +0100
• Devant, Pascal, pascal.devant at rwth-aachen.de
  • [isabelle] Improvement suggestion for isabelle process - Fri, 09 Oct 2020 23:43:12 +0100
• Dmitriy Traytel, traytel at di.ku.dk
  • Re: [isabelle] finite order allows maxima - Sun, 04 Oct 2020 13:31:54 +0100
  • [isabelle] PhD and Postdoc positions at the University of Copenhagen - Fri, 09 Oct 2020 21:13:09 +0100
• Eugene W. Stark, isabelle-users at starkeffect.com
  • [isabelle] How do I set --maxheap greater than 16G on Linux? - Sat, 10 Oct 2020 02:12:23 +0100
  • Re: [isabelle] How do I set --maxheap greater than 16G on Linux? - Sat, 10 Oct 2020 17:57:31 +0100
• Fernandez, Matthew, matthew.fernandez at intel.com
  • [isabelle] clashes in _graph names generated by mutual recursion - Thu, 15 Oct 2020 22:17:14 +0100
• Florian Haftmann, florian.haftmann at informatik.tu-muenchen.de
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 10:59:04 +0100
  • [isabelle] Degree of an almost everywhere constant function - Thu, 15 Oct 2020 15:41:50 +0100
• Jaap Boender, jaapb at kerguelen.org
  • [isabelle] Research position in Formal Verification (m/f/x) at HENSOLDT Cyber in Munich - Tue, 20 Oct 2020 13:07:42 +0100
• Klein, Gerwin (Data61, Kensington NSW), Gerwin.Klein at data61.csiro.au
  • Re: [isabelle] Error in Eisbach syntax diagram - Mon, 19 Oct 2020 01:56:41 +0100
• Lawrence Paulson, lp15 at cam.ac.uk
  • Re: [isabelle] writing a proof method after "qed" - Wed, 28 Oct 2020 10:51:58 +0000
  • Re: [isabelle] Weak lemmas in HOL-Analysis.Affine - Sat, 17 Oct 2020 13:59:31 +0100
  • [isabelle] writing a proof method after "qed" - Wed, 28 Oct 2020 09:55:10 +0000
  • Re: [isabelle] Unnecessary assumption in HOL-Analysis.Convex.convex_on_alt - Tue, 06 Oct 2020 10:21:27 +0100
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 10:38:22 +0100
  • Re: [isabelle] Weak lemmas in HOL-Analysis.Affine - Fri, 16 Oct 2020 15:30:36 +0100
  • Re: [isabelle] list_all vs set membership - Thu, 15 Oct 2020 08:58:51 +0100
  • Re: [isabelle] Weak lemmas in HOL-Analysis.Affine - Sat, 17 Oct 2020 11:22:22 +0100
• Lukas Bulwahn, lukas.bulwahn at gmail.com
  • Re: [isabelle] list_all vs set membership - Thu, 15 Oct 2020 09:19:42 +0100
• Makarius, makarius at sketis.net
  • Re: [isabelle] Benchmark suite for Isabelle's `rewrite` tactic - Mon, 19 Oct 2020 16:48:55 +0100
• Manuel Eberl, eberlm at in.tum.de
  • Re: [isabelle] writing a proof method after "qed" - Wed, 28 Oct 2020 10:54:29 +0000
  • Re: [isabelle] finite order allows maxima - Mon, 05 Oct 2020 17:30:29 +0100
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 11:57:22 +0100
  • Re: [isabelle] Degree of an almost everywhere constant function - Thu, 15 Oct 2020 15:47:04 +0100
• Martin Desharnais, martin.desharnais at posteo.de
  • [isabelle] Name clash in "let" definitions - Thu, 29 Oct 2020 09:19:53 +0000
  • Re: [isabelle] Name clash in "let" definitions - Thu, 29 Oct 2020 10:19:01 +0000
• Mathias Fleury, mathias.fleury12 at gmail.com
  • Re: [isabelle] Sledgehammer proof reconstruction failed - Sat, 31 Oct 2020 08:49:47 +0000
  • Re: [isabelle] Name clash in "let" definitions - Thu, 29 Oct 2020 09:49:41 +0000
• Mikhail Chekhov, mikhail.chekhov.w at gmail.com
  • [isabelle] How to make Eisbach's match functionality available from Isabelle/ML? - Sun, 04 Oct 2020 18:47:42 +0100
  • Re: [isabelle] How to make Eisbach's match functionality available from Isabelle/ML? - Mon, 05 Oct 2020 23:42:20 +0100
• Peter Gammie, peteg42 at gmail.com
  • [isabelle] scope of facts arising from `subgoal` - Mon, 12 Oct 2020 22:27:06 +0100
  • Re: [isabelle] scope of facts arising from `subgoal` - Sat, 17 Oct 2020 23:19:21 +0100
• Peter Lammich, lammich at in.tum.de
  • Re: [isabelle] Name clash in "let" definitions - Thu, 29 Oct 2020 11:01:57 +0000
• PriSC PC Chairs, prisc.pc.chairs at gmail.com
  • [isabelle] Second Call for Presentations: PriSC 2021 @ POPL 2021 - Tue, 27 Oct 2020 21:38:15 +0000
• Qian Hong, fracting at gmail.com
  • Re: [isabelle] Survey Paper - Tue, 20 Oct 2020 01:02:22 +0100
  • Re: [isabelle] Survey Paper - Tue, 20 Oct 2020 14:09:31 +0100
• Sophie Tourret, stourret at mpi-inf.mpg.de
  • [isabelle] CADE-28: Call for Papers, Workshops, Tutorials and Competitions - Wed, 21 Oct 2020 12:32:16 +0100
• Stepan Holub, holub at karlin.mff.cuni.cz
  • [isabelle] finite order allows maxima - Sat, 03 Oct 2020 09:38:03 +0100
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 10:53:30 +0100
• Temur Kutsia, kutsia at risc.jku.at
  • [isabelle] CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification - Wed, 07 Oct 2020 12:17:09 +0100
• Tobias Nipkow, nipkow at in.tum.de
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 08:03:24 +0100
  • Re: [isabelle] Survey Paper - Tue, 20 Oct 2020 13:33:30 +0100
  • Re: [isabelle] finite order allows maxima - Tue, 06 Oct 2020 20:47:10 +0100
  • [isabelle] Survey Paper - Mon, 19 Oct 2020 06:56:10 +0100
  • Re: [isabelle] finite order allows maxima - Mon, 05 Oct 2020 17:23:12 +0100
• Thiemann, René, Rene.Thiemann at uibk.ac.at
  • [isabelle] New in the AFP: A Sound Type System for Physical Quantities, Units, and Measurements - Wed, 28 Oct 2020 11:29:17 +0000
• Jakub Kądziołka, kuba at kadziolka.net
  • Re: [isabelle] writing a proof method after "qed" - Wed, 28 Oct 2020 10:04:49 +0000
  • [isabelle] list_all vs set membership - Wed, 14 Oct 2020 23:04:19 +0100
  • [isabelle] Weak lemmas in HOL-Analysis.Affine - Fri, 16 Oct 2020 15:16:49 +0100
  • Re: [isabelle] finite order allows maxima - Wed, 07 Oct 2020 20:50:20 +0100
  • [isabelle] Unnecessary assumption in HOL-Analysis.Convex.convex_on_alt - Mon, 05 Oct 2020 14:02:59 +0100
  • Re: [isabelle] Weak lemmas in HOL-Analysis.Affine - Sat, 17 Oct 2020 14:29:33 +0100
  • Re: [isabelle] Weak lemmas in HOL-Analysis.Affine - Sat, 17 Oct 2020 13:37:49 +0100
  • [isabelle] Duplicate algebra tactic - Wed, 07 Oct 2020 15:12:45 +0100
  • [isabelle] Sledgehammer proof reconstruction failed - Tue, 13 Oct 2020 19:34:09 +0100
• Walther Neuper, walther.neuper at jku.at
  • [isabelle] make Isabelle accessible? - Mon, 19 Oct 2020 09:28:24 +0100
  • [isabelle] quote in mixfix annotation - Tue, 06 Oct 2020 09:04:55 +0100
• Wolfgang Jeltsch, wolfgang-it at jeltsch.info
  • [isabelle] Error in Eisbach syntax diagram - Tue, 06 Oct 2020 22:26:59 +0100
• Yamada, Akihisa, ayamada at trs.cm.is.nagoya-u.ac.jp
  • Re: [isabelle] Lemma suggestion to Function_Algebras - Mon, 05 Oct 2020 02:04:42 +0100
  • [isabelle] Lemma suggestion to Function_Algebras - Mon, 05 Oct 2020 01:49:49 +0100
• Yulu Pan, pandaman at is.s.u-tokyo.ac.jp
  • [isabelle] Performance problem with Simpl and Isabelle simplifier - Sat, 31 Oct 2020 15:02:51 +0000
• Zack Grannan, zachary.grannan at imdea.org
  • [isabelle] Benchmark suite for Isabelle's `rewrite` tactic - Thu, 15 Oct 2020 12:56:39 +0100