Viewing fa.isabelle
2
replies
[isabelle] Gcd class and polynomials
started 2014-10-01 09:04:07 UTC
2014-10-02 09:39:15 UTC
Florian Haftmann
1
reply
[isabelle] Field lemmas in theory Int
started 2014-10-01 23:57:03 UTC
2014-10-02 01:09:49 UTC
Brian Huffman
6
replies
[isabelle] Problems with code-datatype
started 2014-09-27 14:24:08 UTC
2014-10-01 10:58:52 UTC
René Thiemann
4
replies
[isabelle] Number of undos
started 2014-09-30 10:39:05 UTC
2014-09-30 16:07:34 UTC
Makarius
1
reply
[isabelle] Isabelle
started 2014-09-30 15:52:58 UTC
2014-09-30 16:02:32 UTC
Lawrence Paulson
3
replies
2014-09-30 07:34:48 UTC
Yannick
2
replies
[isabelle] rule induction question
started 2014-09-29 09:12:06 UTC
2014-09-29 20:19:43 UTC
Amarin Phaosawasdi
2
replies
[isabelle] nested multiset ordering?
started 2014-09-28 15:24:12 UTC
2014-09-28 17:27:30 UTC
Dmitriy Traytel
2
replies
[isabelle] Limit cardinals
started 2014-09-26 18:49:02 UTC
2014-09-26 21:12:35 UTC
Andrei Popescu
3
replies
[isabelle] Limit cardinals
started 2014-09-26 16:27:51 UTC
2014-09-26 18:00:39 UTC
Eddy Westbrook
1
reply
2014-09-26 15:07:08 UTC
Gottfried Barrow
2
replies
[isabelle] Imperative HOL: typo?
started 2014-09-15 14:21:58 UTC
2014-09-26 11:08:29 UTC
Christian Sternagel
1
reply
[isabelle] proof document with conference style
started 2014-09-23 19:54:17 UTC
2014-09-25 20:20:17 UTC
Makarius
2
replies
[isabelle] Counting the proof time
started 2014-09-08 09:31:19 UTC
2014-09-25 19:37:48 UTC
Makarius
3
replies
2014-09-25 18:45:27 UTC
Makarius
1
reply
2014-09-25 16:04:47 UTC
Florian Haftmann
7
replies
2014-09-25 14:47:44 UTC
Florian Haftmann
1
reply
2014-09-24 15:45:40 UTC
Andreas Lochbihler
2
replies
[isabelle] Usability Lifting and Transfer
started 2014-09-22 08:51:17 UTC
2014-09-23 18:05:15 UTC
Gottfried Barrow
5
replies
2014-09-22 09:01:22 UTC
Makarius
7
replies
[isabelle] Query towards pseudo constructors
started 2014-09-03 19:43:54 UTC
2014-09-22 08:36:59 UTC
Andreas Lochbihler
2
replies
[isabelle] detaching sml mode from Prover IDE
started 2014-08-30 18:05:24 UTC
2014-09-22 08:34:23 UTC
Makarius
3
replies
[isabelle] Query about the transfer method
started 2014-09-16 12:23:31 UTC
2014-09-20 13:58:06 UTC
Florian Haftmann
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
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
2014-09-15 16:48:48 UTC
Tobias Nipkow
1
reply
2014-09-14 00:34:43 UTC
Tobias Nipkow
Next Page > Load more threads