Viewing fa.isabelle
2
replies
[isabelle] Query about the transfer method
started 2014-09-16 12:23:31 UTC
2014-09-18 15:27:03 UTC
Brian Huffman
1
reply
[isabelle] Lemma pos_mod_bound
started 2014-09-18 08:54:00 UTC
2014-09-18 13:52:58 UTC
Florian Haftmann
9
replies
[isabelle] Isabelle 2014 and proof general
started 2014-09-04 16:10:09 UTC
2014-09-18 12:59:03 UTC
Carst Tankink
4
replies
2014-09-18 06:17:32 UTC
Thomas Sewell
3
replies
2014-09-18 05:27:56 UTC
Lee Martin CCNP
8
replies
[isabelle] Isabelle2014 and ProofGeneral
started 2014-09-13 12:06:30 UTC
2014-09-16 12:32:57 UTC
Makarius
4
replies
[isabelle] code_include in Isabelle2014?
started 2014-09-11 09:35:29 UTC
2014-09-16 07:26:29 UTC
Thomas Genet
1
reply
2014-09-15 19:16:05 UTC
Florian Haftmann
1
reply
[isabelle] Imperative HOL: typo?
started 2014-09-15 14:21:58 UTC
2014-09-15 19:02:52 UTC
Florian Haftmann
1
reply
2014-09-15 16:48:48 UTC
Tobias Nipkow
1
reply
2014-09-14 00:34:43 UTC
Tobias Nipkow
3
replies
[isabelle] How to "unhide" constants in Isabelle
started 2014-09-13 12:20:15 UTC
2014-09-13 16:24:48 UTC
Brian Huffman
6
replies
[isabelle] How to use latex commands inside proof?
started 2014-08-28 12:44:46 UTC
2014-09-13 14:44:53 UTC
Makarius
7
replies
[isabelle] Simple selective code generation?
started 2014-09-10 14:09:36 UTC
2014-09-11 09:15:29 UTC
Thomas Genet
5
replies
[isabelle] Formal comments within inner syntax
started 2014-09-05 09:20:37 UTC
2014-09-10 19:32:55 UTC
Makarius
2
replies
[isabelle] "rewrite_cterm: bad background theory"
started 2014-08-28 18:47:33 UTC
2014-09-10 18:07:09 UTC
Makarius
2
replies
2014-09-10 09:10:38 UTC
Florian Haftmann
9
replies
[isabelle] Gcd and algebraic structures
started 2014-08-29 17:59:27 UTC
2014-09-10 08:35:14 UTC
Florian Haftmann
2
replies
[isabelle] shorter syntax?
started 2014-08-23 01:07:14 UTC
2014-09-10 08:21:02 UTC
Andreas Lochbihler
3
replies
[isabelle] Atomisation of free variables
started 2014-09-09 16:32:10 UTC
2014-09-10 08:20:57 UTC
Lars Noschinski
1
reply
[isabelle] detaching sml mode from Prover IDE
started 2014-08-30 18:05:24 UTC
2014-09-10 07:51:27 UTC
Florian Haftmann
2
replies
[isabelle] compiling 2013-2 from sources
started 2014-09-09 13:06:17 UTC
2014-09-09 22:43:47 UTC
Christian Urban
1
reply
[isabelle] Counting the proof time
started 2014-09-08 09:31:19 UTC
2014-09-08 17:39:41 UTC
Lawrence Paulson
2
replies
2014-09-08 12:51:40 UTC
Gottfried Barrow
5
replies
[isabelle] Query towards pseudo constructors
started 2014-09-03 19:43:54 UTC
2014-09-05 18:26:10 UTC
Florian Haftmann
4
replies
2014-09-02 16:44:46 UTC
Gottfried Barrow
1
reply
2014-09-02 09:45:04 UTC
Dmitriy Traytel
4
replies
[isabelle] Use of simp add:
started 2014-08-29 03:25:27 UTC
2014-09-01 17:26:48 UTC
W. Douglas Maurer
2
replies
2014-09-01 08:48:36 UTC
Dmitriy Traytel
3
replies
[isabelle] AFP 2014 released / new entries
started 2014-08-29 11:11:48 UTC
2014-08-31 12:40:57 UTC
Tobias Nipkow
Next Page > Load more threads