Viewing fa.isabelle
13
replies
[isabelle] Isabelle2014-RC4 available for testing
started 2014-08-18 14:55:16 UTC
2014-08-26 18:10:08 UTC
Makarius
3
replies
2014-08-26 16:21:21 UTC
Makarius
2
replies
[isabelle] Type classes vs. locales?
started 2014-08-26 13:29:13 UTC
2014-08-26 14:41:05 UTC
Gottfried Barrow
7
replies
[isabelle] remdups_adj crucial lemma
started 2014-08-23 10:25:49 UTC
2014-08-26 12:24:49 UTC
Lars Noschinski
2
replies
[isabelle] Finite product simplification
started 2014-08-21 09:18:51 UTC
2014-08-26 09:46:13 UTC
Holden Lee
9
replies
[isabelle] Multiset elements
started 2014-08-12 17:44:18 UTC
2014-08-25 11:30:25 UTC
Jasmin Christian Blanchette
1
reply
[isabelle] Behaviour of Variable.variant_fixes
started 2014-08-22 09:31:43 UTC
2014-08-24 09:42:19 UTC
Lars Hupel
1
reply
[isabelle] Floor and ceiling
started 2014-08-22 13:17:34 UTC
2014-08-22 13:58:06 UTC
Makarius
11
replies
2014-08-22 12:59:29 UTC
bnord
2
replies
[isabelle] error mit Pretty.T
started 2014-08-22 09:43:16 UTC
2014-08-22 11:39:33 UTC
Lars Noschinski
1
reply
2014-08-22 07:06:58 UTC
Andreas Lochbihler
3
replies
2014-08-21 15:23:22 UTC
David Matthews
6
replies
[isabelle] monadic function definition
started 2014-08-11 13:46:32 UTC
2014-08-21 08:47:32 UTC
René Thiemann
6
replies
2014-08-21 08:14:55 UTC
Christian Sternagel
3
replies
[isabelle] ISABELLE_OUTPUT
started 2014-08-19 14:12:23 UTC
2014-08-20 11:51:16 UTC
Makarius
1
reply
[isabelle] Sublocales
started 2014-08-20 08:52:17 UTC
2014-08-20 10:04:44 UTC
Andreas Lochbihler
5
replies
[isabelle] Calculational reasoning proof structure
started 2014-08-19 18:42:22 UTC
2014-08-20 06:45:27 UTC
Lars Noschinski
3
replies
2014-08-19 13:58:59 UTC
Lars Noschinski
9
replies
2014-08-18 11:42:26 UTC
Makarius
4
replies
2014-08-18 09:52:03 UTC
Makarius
6
replies
2014-08-18 09:25:56 UTC
Makarius
2
replies
[isabelle] outputting colours in isabelle documents
started 2014-08-06 08:29:52 UTC
2014-08-13 15:53:04 UTC
Makarius
8
replies
[isabelle] op =simp=> in congruence rules
started 2014-08-07 08:11:28 UTC
2014-08-13 14:06:04 UTC
Florian Haftmann
4
replies
[isabelle] Changing axiom names in a locale
started 2014-08-08 20:03:44 UTC
2014-08-12 05:27:10 UTC
Andreas Lochbihler
1
reply
[isabelle] Do these tactics exist?
started 2014-08-11 12:07:03 UTC
2014-08-11 13:37:22 UTC
Lawrence Paulson
1
reply
[isabelle] Getting cong to work with carriers
started 2014-08-09 09:22:54 UTC
2014-08-09 09:45:27 UTC
Lawrence Paulson
15
replies
[isabelle] Isabelle2014-RC2 available for testing
started 2014-08-04 15:58:36 UTC
2014-08-08 15:52:56 UTC
Makarius
2
replies
[isabelle] adding/deleting transfer rules
started 2014-08-06 15:15:29 UTC
2014-08-08 06:47:15 UTC
Daniel Raggi
42
replies
[isabelle] 2014-RC1 issues
started 2014-07-30 08:30:06 UTC
2014-08-07 17:07:56 UTC
Lars Noschinski
4
replies
2014-08-07 15:24:23 UTC
Makarius
Next Page > Load more threads