Viewing fa.isabelle
3
replies
2014-07-31 13:45:19 UTC
Carst Tankink
1
reply
[isabelle] Unifier trace in solve_direct
started 2014-07-31 07:45:37 UTC
2014-07-31 08:23:12 UTC
Lars Noschinski
1
reply
[isabelle] Slots for diagnostic value command
started 2014-07-31 07:51:57 UTC
2014-07-31 08:20:58 UTC
Andreas Lochbihler
17
replies
[isabelle] 2014-RC1 issues
started 2014-07-30 08:30:06 UTC
2014-07-31 07:37:04 UTC
Lars Hupel
5
replies
[isabelle] Undefined facts in skip_proofs mode
started 2014-07-28 13:48:16 UTC
2014-07-31 00:24:37 UTC
Gerwin Klein
1
reply
2014-07-30 21:24:32 UTC
Makarius
6
replies
[isabelle] Proof_Context abstraction
started 2014-07-29 18:01:35 UTC
2014-07-30 21:18:06 UTC
Makarius
3
replies
[isabelle] check phases
started 2014-07-30 13:50:50 UTC
2014-07-30 21:05:26 UTC
Makarius
2
replies
2014-07-29 16:02:11 UTC
Andreas Lochbihler
3
replies
[isabelle] Isabelle2014-RC1 available for testing
started 2014-07-27 19:17:21 UTC
2014-07-29 09:20:08 UTC
Dmitriy Traytel
9
replies
[isabelle] Isar syntax question
started 2014-07-16 22:06:34 UTC
2014-07-25 15:49:41 UTC
Lars Noschinski
1
reply
[isabelle] print_statement and sorts
started 2014-06-30 10:11:05 UTC
2014-07-25 14:34:44 UTC
Makarius
18
replies
2014-07-25 13:41:19 UTC
Makarius
3
replies
[isabelle] Isabelle2014-RC0: phantom theories
started 2014-07-08 08:57:09 UTC
2014-07-25 13:25:42 UTC
Makarius
4
replies
2014-07-25 06:53:39 UTC
Andreas Lochbihler
39
replies
[isabelle] Isabelle2014-RC0 available for testing
started 2014-07-05 18:11:02 UTC
2014-07-24 21:08:28 UTC
Makarius
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
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
1
reply
[isabelle] Record for module?
started 2014-07-16 17:31:44 UTC
2014-07-17 08:09:48 UTC
Holden Lee
Next Page > Load more threads