Viewing fa.isabelle
4
replies
[isabelle] Default implementations for instances
started 2014-04-10 14:22:53 UTC
2014-04-15 06:38:45 UTC
Andreas Lochbihler
2
replies
[isabelle] How to delete rules applied by clarify
started 2014-04-14 17:57:21 UTC
2014-04-14 20:43:12 UTC
Lawrence Paulson
1
reply
2014-04-13 15:52:36 UTC
Tobias Nipkow
6
replies
[isabelle] Definition in (and of) Isabelle/HOL
started 2014-03-30 08:24:14 UTC
2014-04-11 13:31:35 UTC
Rob Arthan
6
replies
2014-04-11 13:18:59 UTC
Lawrence Paulson
1
reply
2014-04-10 12:58:00 UTC
Jakob von Raumer
7
replies
[isabelle] Track sorry
started 2014-03-25 12:02:29 UTC
2014-04-07 15:58:25 UTC
Makarius
1
reply
[isabelle] Finding a node name in the graph browser
started 2014-04-07 14:50:15 UTC
2014-04-07 15:06:23 UTC
Makarius
1
reply
2014-04-04 15:07:14 UTC
Lawrence Paulson
7
replies
2014-04-04 13:07:25 UTC
Makarius
2
replies
2014-04-04 11:37:59 UTC
Andreas Lochbihler
7
replies
2014-04-03 07:50:54 UTC
Andreas Lochbihler
8
replies
2014-03-31 13:59:39 UTC
Makarius
2
replies
2014-03-29 20:34:54 UTC
Gottfried Barrow
10
replies
2014-03-28 21:45:13 UTC
Michael Norrish
5
replies
[isabelle] "Pretty" print raw term structure
started 2014-03-27 14:00:58 UTC
2014-03-28 11:21:29 UTC
Makarius
2
replies
[isabelle] prf and full_prf
started 2014-03-27 12:39:10 UTC
2014-03-28 10:23:24 UTC
Makarius
13
replies
[isabelle] finding a definition in Isabelle/JEdit
started 2014-03-26 14:57:39 UTC
2014-03-28 10:18:59 UTC
Makarius
2
replies
[isabelle] typedef in recursive datatype
started 2014-03-27 08:12:59 UTC
2014-03-27 08:46:49 UTC
Walther Neuper
2
replies
2014-03-26 18:37:12 UTC
Makarius
3
replies
[isabelle] bogus theories in AFP
started 2014-03-25 11:04:20 UTC
2014-03-26 13:49:53 UTC
Makarius
2
replies
[isabelle] auto and sledgehammer
started 2014-03-26 08:37:58 UTC
2014-03-26 13:25:59 UTC
Gottfried Barrow
1
reply
[isabelle] Show types of constants?
started 2014-02-10 11:03:32 UTC
2014-03-21 16:22:58 UTC
Makarius
1
reply
2014-03-21 16:11:27 UTC
Makarius
9
replies
2014-03-18 13:29:18 UTC
Andreas Lochbihler
3
replies
[isabelle] Problems with code-generator
started 2014-03-14 19:12:26 UTC
2014-03-17 08:44:47 UTC
Dmitriy Traytel
1
reply
2014-03-15 22:48:57 UTC
Lawrence Paulson
8
replies
2014-03-14 12:08:41 UTC
Makarius
3
replies
2014-03-12 12:36:22 UTC
Gottfried Barrow
10
replies
2014-03-10 09:13:24 UTC
Johannes Hölzl
Next Page > Load more threads