Cl-isabelle-users September 2012 Archives by author
- 後藤 裕貴, auf75646@kwansei.ac.jp
- René Thiemann, rene.thiemann@uibk.ac.at
- René Neumann, rene.neumann@in.tum.de
- René Neumann, rene.neumann@in.tum.de
- Aaron W . Hsu, arcfide@sacrideo.us
- Alfio Martini, alfio.martini@acm.org
- Re: [isabelle] Strong Induction - Sat, 08 Sep 2012 21:10:59 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Tue, 11 Sep 2012 23:26:16 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 18:30:36 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 18:35:47 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Sat, 15 Sep 2012 00:13:40 +0100
- Re: [isabelle] Eliminating two quantifiers in structural proof - Sun, 16 Sep 2012 12:04:35 +0100
- Re: [isabelle] Eliminating two quantifiers in structural proof - Sun, 16 Sep 2012 12:15:11 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Sun, 16 Sep 2012 16:00:28 +0100
- Andreas Lochbihler, andreas.lochbihler@kit.edu
- Brian Huffman, huffman@in.tum.de
- Clemens Ballarin, ballarin@in.tum.de
- David Greenaway, david.greenaway@nicta.com.au
- David Matthews, dm@prolingua.co.uk
- Dmitriy Traytel, traytel@in.tum.de
- Edward Schwartz, edmcman@cmu.edu
- Elsa L Gunter, egunter@illinois.edu
- Felipe Magno de Almeida, felipe.m.almeida@gmail.com
- Florian Haftmann, florian.haftmann@informatik.tu-muenchen.de
- Gerwin Klein, gerwin.klein@nicta.com.au
- Gopalan Nadathur, gopalan@cs.umn.edu
- Gottfried Barrow, gottfried.barrow@gmx.com
- [isabelle] Mere synonyms or the properties of equality being used? - Mon, 03 Sep 2012 18:25:07 +0100
- Re: [isabelle] Mere synonyms or the properties of equality being used? - Mon, 03 Sep 2012 20:57:51 +0100
- [isabelle] Minimizer and preplay - 2 of the many amazing features of Sledgehammer - Tue, 04 Sep 2012 17:55:12 +0100
- [isabelle] Sledge and 0; green & blue; ATPs lovin' quantifiers - Fri, 07 Sep 2012 00:52:19 +0100
- Re: [isabelle] Sledge and 0; green & blue; ATPs lovin' quantifiers - Fri, 07 Sep 2012 01:26:15 +0100
- [isabelle] Isar feature request: bbold and ebold - Mon, 10 Sep 2012 18:08:31 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Tue, 11 Sep 2012 13:20:40 +0100
- [isabelle] Thanks Nitpick for actually answering a former, simple question - Tue, 11 Sep 2012 21:07:49 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 17:06:35 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 17:40:06 +0100
- Re: [isabelle] Isar feature request: bbold and ebold - Wed, 12 Sep 2012 20:18:35 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 20:42:18 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 20:50:41 +0100
- Re: [isabelle] Isar feature request: bbold and ebold - Wed, 12 Sep 2012 21:10:41 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Wed, 12 Sep 2012 21:15:51 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Thu, 13 Sep 2012 19:12:36 +0100
- [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Fri, 14 Sep 2012 05:52:40 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Fri, 14 Sep 2012 14:29:45 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Sat, 15 Sep 2012 04:30:49 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Sat, 15 Sep 2012 05:18:18 +0100
- Re: [isabelle] Free variables aren't quantified, it's that simple (by all appearances) - Mon, 17 Sep 2012 17:35:42 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Mon, 17 Sep 2012 19:35:33 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Sun, 23 Sep 2012 17:46:18 +0100
- Henri . Debrat, Henri.Debrat@loria.fr
- Holger Blasum, hbl@sysgo.com
- Jasmin Blanchette, jasmin.blanchette@gmail.com
- Johannes Hölzl, hoelzl@in.tum.de
- John Munroe, munddr@gmail.com
- John Wickerson, jpw48@cam.ac.uk
- Lars Noschinski, noschinl@in.tum.de
- Lawrence Paulson, lp15@cam.ac.uk
- Lukas Bulwahn, bulwahn@in.tum.de
- Makarius, makarius@sketis.net
- Re: [isabelle] Naive question about tactics and Pure - Mon, 03 Sep 2012 09:26:47 +0100
- Re: [isabelle] Proofmanagement - Mon, 03 Sep 2012 09:36:25 +0100
- Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround) - Wed, 05 Sep 2012 14:42:09 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method - Wed, 12 Sep 2012 19:16:34 +0100
- Re: [isabelle] Isar feature request: bbold and ebold - Wed, 12 Sep 2012 19:34:42 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Wed, 12 Sep 2012 19:43:06 +0100
- Re: [isabelle] Thanks Nitpick for actually answering a former, simple question - Wed, 12 Sep 2012 19:55:05 +0100
- Re: [isabelle] Isar feature request: bbold and ebold - Wed, 12 Sep 2012 20:43:17 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Wed, 12 Sep 2012 21:31:00 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method - Wed, 12 Sep 2012 22:49:39 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method - Thu, 13 Sep 2012 15:40:19 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method - Thu, 13 Sep 2012 15:47:27 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Sun, 16 Sep 2012 19:54:34 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Sun, 16 Sep 2012 20:04:32 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 17 Sep 2012 10:47:58 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 17 Sep 2012 12:40:52 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 17 Sep 2012 13:46:59 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Mon, 17 Sep 2012 14:31:27 +0100
- Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround) - Wed, 19 Sep 2012 13:41:42 +0100
- Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround) - Wed, 19 Sep 2012 14:49:37 +0100
- Re: [isabelle] PG/Isabelle: Problem with Auto-Trace options (with workaround) - Fri, 21 Sep 2012 11:03:19 +0100
- Re: [isabelle] Isar feature request: bbold ... (& italics, ibold) - Fri, 21 Sep 2012 19:15:55 +0100
- Re: [isabelle] Type and sort annotations in jEdit - Sat, 22 Sep 2012 20:02:31 +0100
- Re: [isabelle] Type and sort annotations in jEdit - Sat, 22 Sep 2012 20:09:14 +0100
- Re: [isabelle] Eliminating two quantifiers in structural proof - Mon, 24 Sep 2012 20:52:20 +0100
- Re: [isabelle] Eliminating two quantifiers in structural proof - Mon, 24 Sep 2012 20:59:34 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 24 Sep 2012 21:11:52 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 24 Sep 2012 21:23:41 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Wed, 26 Sep 2012 14:55:12 +0100
- Re: [isabelle] Insufficient memory when building heap image - Fri, 28 Sep 2012 15:45:20 +0100
- Manuel Eberl, eberlm@in.tum.de
- Matthew Fernandez, matthew.fernandez@nicta.com.au
- Peter Lammich, lammich@in.tum.de
- Prathamesh, prathamesh.t@gmail.com
- Rafal Kolanski, xs@xaph.net
- Re: [isabelle] Emacs hurts - Sun, 02 Sep 2012 13:38:02 +0100
- [isabelle] Parallel proofs issue, potentially in subst method - Mon, 10 Sep 2012 07:27:51 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method - Thu, 13 Sep 2012 02:34:40 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Thu, 13 Sep 2012 23:58:39 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Fri, 14 Sep 2012 05:55:38 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Sun, 16 Sep 2012 23:39:35 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Mon, 17 Sep 2012 12:22:06 +0100
- Re: [isabelle] Parallel proofs issue, potentially in subst method (also, backtraces) - Tue, 25 Sep 2012 08:46:53 +0100
- Ramana Kumar, rk436@cam.ac.uk
- Thomas Sewell, Thomas.Sewell@nicta.com.au
- Tim (McKenzie) Makarios, tjm1983@gmail.com
- Tjark Weber, webertj@in.tum.de
- Tobias Nipkow, nipkow@in.tum.de
- Viorel Preoteasa, viorel.preoteasa@abo.fi
- Walther Neuper, wneuper@ist.tugraz.at
- Yuhui Lin, Y.H.Lin-2@sms.ed.ac.uk
This archive was generated by a fusion of
Pipermail (Mailman edition) and
MHonArc.