Viewing fa.isabelle
7
replies
[isabelle] Two lemmas about lists constructed from finite sets that I'd like Isabelle to provide
started 2013-05-22 17:25:48 UTC
2013-05-23 00:01:17 UTC
Tobias Nipkow
13
replies
[isabelle] Want to use Rep_Integ or lifting after [quot_del] in Int.thy
started 2013-05-21 03:31:29 UTC
2013-05-22 23:08:26 UTC
Gottfried Barrow
2
replies
[isabelle] Be nice to have short tutorials on Quotient Types and Lifting
started 2013-05-22 01:34:13 UTC
2013-05-22 16:12:54 UTC
Gottfried Barrow
3
replies
[isabelle] Problems with code generation for the reals
started 2013-04-27 13:15:14 UTC
2013-05-22 09:55:00 UTC
Jesus Aransay
7
replies
[isabelle] Unwanted type annotations
started 2013-05-16 16:47:13 UTC
2013-05-21 18:40:00 UTC
Steffen Juilf Smolka
2
replies
[isabelle] Probelm with the "definition" command
started 2013-04-29 18:09:57 UTC
2013-05-21 13:36:41 UTC
Makarius
6
replies
[isabelle] Contributing some Q&A to StackOverflow; please help me to gain reputation
started 2013-05-18 22:38:07 UTC
2013-05-19 12:11:52 UTC
Christian Sternagel
2
replies
[isabelle] Discharging one (trivial) case without nesting the proof
started 2013-05-19 10:12:53 UTC
2013-05-19 11:41:41 UTC
Joachim Breitner
1
reply
[isabelle] export and import term
started 2013-05-15 14:59:58 UTC
2013-05-16 12:06:06 UTC
Makarius
4
replies
[isabelle] type_synonym and fixed type arguments in a locale?
started 2013-05-14 21:57:48 UTC
2013-05-15 09:49:32 UTC
Makarius
5
replies
[isabelle] Lemma [OF ..] unification with \<And> parts
started 2013-05-11 16:22:03 UTC
2013-05-14 13:57:43 UTC
Lawrence Paulson
1
reply
[isabelle] Release issue tracker no longer public
started 2013-04-26 00:09:58 UTC
2013-05-13 12:19:33 UTC
Makarius
3
replies
[isabelle] Difficult to reproduce bug hanging Isabelle in jEdit session
started 2013-04-22 13:35:48 UTC
2013-05-13 11:50:03 UTC
Makarius
1
reply
[isabelle] goals_limit in error-output
started 2013-04-17 09:40:29 UTC
2013-05-13 11:02:08 UTC
Makarius
2
replies
[isabelle] CFP: 1st Workshop on Haskell and Rewriting Techniques (HART 2013)
started 2013-02-18 03:06:53 UTC
2013-05-10 02:41:50 UTC
Christian Sternagel
7
replies
[isabelle] No tail-recursive code equation for List.map
started 2013-04-26 13:16:28 UTC
2013-05-07 15:37:46 UTC
Andreas Lochbihler
1
reply
[isabelle] c-parse release for Isabelle2013
started 2013-05-06 08:56:15 UTC
2013-05-06 09:12:39 UTC
Lars Noschinski
1
reply
[isabelle] Code generation, abstract types and higher order function
started 2013-04-30 08:10:53 UTC
2013-05-01 01:38:58 UTC
Tobias Nipkow
8
replies
[isabelle] Two problems about emacs and jedit
started 2013-04-13 07:53:19 UTC
2013-04-27 15:09:00 UTC
Simon Wimmer
1
reply
[isabelle] Curried and uncurried parameters in Scala
started 2013-04-26 13:36:13 UTC
2013-04-27 13:21:33 UTC
Florian Haftmann
1
reply
[isabelle] Problems with proof terms
started 2013-04-27 11:50:49 UTC
2013-04-27 13:12:01 UTC
Florian Haftmann
2
replies
[isabelle] BibTeX files on AFP
started 2013-04-25 07:54:51 UTC
2013-04-27 00:42:16 UTC
Gerwin Klein
3
replies
[isabelle] New AFP entry: Light-weight Containers
started 2013-04-21 10:27:31 UTC
2013-04-25 11:22:46 UTC
Florian Haftmann
2
replies
[isabelle] Seeking for help in learning Isabelle
started 2013-04-24 10:04:20 UTC
2013-04-24 14:29:45 UTC
C. Diekmann
2
replies
[isabelle] Duplicate constant declaration in sublocale
started 2013-04-19 09:52:21 UTC
2013-04-22 07:02:23 UTC
Lars Noschinski
4
replies
[isabelle] Isabelle/Eclipse prover IDE released!
started 2013-04-17 10:40:17 UTC
2013-04-18 20:41:27 UTC
Makarius
4
replies
[isabelle] defining nat1 in isabelle
started 2013-04-16 10:52:37 UTC
2013-04-16 18:34:19 UTC
Jasmin Christian Blanchette
1
reply
[isabelle] VDM maps and map comprehension in Isabelle
started 2013-04-16 10:50:53 UTC
2013-04-16 11:50:09 UTC
Andreas Lochbihler
4
replies
[isabelle] surprising behavior of schematic_lemma
started 2013-04-15 10:25:19 UTC
2013-04-16 09:19:04 UTC
Ondřej Kunčar
1
reply
[isabelle] old methods
started 2013-04-15 16:07:42 UTC
2013-04-15 17:33:08 UTC
Makarius
Next Page > Load more threads