Viewing fa.isabelle
3
replies
2014-07-24 18:30:04 UTC
Ondřej Kunčar
17
replies
2014-07-24 17:25:30 UTC
Jasmin Christian Blanchette
8
replies
2014-07-24 15:32:39 UTC
Makarius
6
replies
[isabelle] Automatically formatting Isabelle proof
started 2014-01-07 01:18:26 UTC
2014-07-24 09:05:15 UTC
yongjian Li
2
replies
[isabelle] Named_Target.reinit
started 2014-07-23 08:38:54 UTC
2014-07-24 08:44:50 UTC
Florian Haftmann
2
replies
[isabelle] some Isabelle/jEdit shortcuts
started 2014-07-08 12:50:06 UTC
2014-07-24 08:19:38 UTC
Lars Noschinski
37
replies
[isabelle] Isabelle2014-RC0 available for testing
started 2014-07-05 18:11:02 UTC
2014-07-23 15:58:26 UTC
Makarius
1
reply
[isabelle] Simplifying a nested if
started 2014-07-23 11:32:28 UTC
2014-07-23 11:45:19 UTC
Lars Noschinski
1
reply
2014-07-23 10:28:03 UTC
Andreas Lochbihler
1
reply
[isabelle] lemma tempates
started 2014-07-23 01:27:57 UTC
2014-07-23 09:32:51 UTC
Johannes Hölzl
5
replies
2014-07-22 20:52:36 UTC
Florian Haftmann
2
replies
2014-07-22 13:11:13 UTC
Makarius
1
reply
2014-07-19 18:45:36 UTC
Florian Haftmann
3
replies
[isabelle] Addition to List?: rev_nonempty_induct
started 2014-07-11 11:42:33 UTC
2014-07-19 18:44:40 UTC
Florian Haftmann
4
replies
2014-07-19 06:50:27 UTC
Lars Noschinski
1
reply
[isabelle] Substitute in the whole context
started 2014-07-18 11:18:22 UTC
2014-07-18 13:07:29 UTC
Lars Noschinski
6
replies
[isabelle] Isar syntax question
started 2014-07-16 22:06:34 UTC
2014-07-17 12:47:51 UTC
Lars Noschinski
1
reply
[isabelle] Record for module?
started 2014-07-16 17:31:44 UTC
2014-07-17 08:09:48 UTC
Holden Lee
5
replies
2014-07-16 19:05:57 UTC
Gottfried Barrow
1
reply
[isabelle] Why does unfold fail to work?
started 2014-07-16 09:21:45 UTC
2014-07-16 17:04:52 UTC
Brian Huffman
3
replies
[isabelle] Termination for ordinal-like datatypes
started 2014-07-15 01:16:52 UTC
2014-07-15 17:21:19 UTC
Eddy Westbrook
2
replies
2014-07-12 05:54:51 UTC
Lars Noschinski
4
replies
2014-07-11 19:30:15 UTC
Gottfried Barrow
2
replies
[isabelle] lemmas-command normalizes theorems
started 2014-07-11 16:35:19 UTC
2014-07-11 17:15:15 UTC
Makarius
2
replies
[isabelle] Isabelle2014-RC0: phantom theories
started 2014-07-08 08:57:09 UTC
2014-07-11 15:48:58 UTC
Makarius
5
replies
2014-07-11 13:57:45 UTC
Makarius
1
reply
[isabelle] proof by contradiction
started 2014-07-10 16:44:18 UTC
2014-07-10 17:03:02 UTC
René Thiemann
3
replies
[isabelle] How to extract the record from a locale?
started 2014-07-10 08:34:35 UTC
2014-07-10 12:45:48 UTC
Andreas Lochbihler
3
replies
[isabelle] pdflatex not found [SOLVED]
started 2014-07-09 15:35:59 UTC
2014-07-09 18:27:26 UTC
Makarius
1
reply
[isabelle] HELP
started 2014-07-09 16:32:11 UTC
2014-07-09 16:44:50 UTC
Andreas Lochbihler
Next Page > Load more threads