Newsgroup:
fa.isabelle
9
replies
[isabelle] Trying to instantiate a class
started 2015-02-25 15:51:06 UTC
2015-02-27 14:42:52 UTC
Larry Paulson
3
replies
[isabelle] change proposal: eliminating overloading for factorials
started 2015-02-27 11:32:21 UTC
2015-02-27 14:36:37 UTC
Larry Paulson
3
replies
[isabelle] Tactic for Eliminating Parameters Wanted ...
started 2015-02-26 12:01:38 UTC
2015-02-27 11:42:06 UTC
Jasmin Blanchette
1
reply
[isabelle] Typo in Tutorial?
started 2015-02-25 11:49:58 UTC
2015-02-26 11:34:46 UTC
Daniel Horne
3
replies
[isabelle] Measure definition on streams
started 2015-02-24 16:24:05 UTC
2015-02-25 11:40:40 UTC
Andreas Lochbihler
5
replies
[isabelle] Why doesn't \<emptyset> work? (W. Douglas Maurer)
started 2015-02-17 23:58:55 UTC
2015-02-25 07:11:54 UTC
Andreas Lochbihler
3
replies
[isabelle] exception THM 0 raised (line 532 of "thm.ML"):
started 2015-02-23 15:54:14 UTC
2015-02-24 17:24:15 UTC
Makarius
7
replies
[isabelle] Transfer Isabelle2011 Code to Isabelle2014
started 2015-02-14 12:55:59 UTC
2015-02-24 13:21:39 UTC
Makarius
3
replies
[isabelle] Goal.prove_future variant of Goal.prove_multi
started 2015-02-17 09:26:10 UTC
2015-02-24 12:42:20 UTC
Makarius
13
replies
[isabelle] libisabelle: Small Scala library to communicate with Isabelle
started 2015-02-09 14:19:01 UTC
2015-02-24 11:01:39 UTC
Lars Hupel
4
replies
[isabelle] Formal semantics for Isar structured proof language
started 2015-02-18 22:21:00 UTC
2015-02-19 08:40:56 UTC
Dmitriy Traytel
2
replies
[isabelle] Local_Theory.map_naming in locales
started 2015-02-12 10:57:37 UTC
2015-02-18 14:44:29 UTC
Makarius
2
replies
[isabelle] Changes in the use of the tab key
started 2015-02-04 22:50:01 UTC
2015-02-16 16:49:17 UTC
Makarius
2
replies
[isabelle] Generate PDF from .thy File?
started 2015-02-15 23:39:17 UTC
2015-02-16 12:34:08 UTC
Larry Paulson
3
replies
[isabelle] Curried functions in binding operators
started 2015-02-12 22:52:50 UTC
2015-02-16 07:45:30 UTC
Andreas Lochbihler
2
replies
[isabelle] Why doesn't \<emptyset> work?
started 2015-02-14 09:27:50 UTC
2015-02-14 20:45:55 UTC
W. Douglas Maurer
1
reply
[isabelle] The difference between /\ , ∀ and -> , =>
started 2015-02-14 08:05:17 UTC
2015-02-14 12:37:32 UTC
Larry Paulson
22
replies
[isabelle] Decision procedures through computation & code_reflect
started 2015-01-14 15:47:25 UTC
2015-02-14 09:23:05 UTC
Florian Haftmann
1
reply
[isabelle] Code generator produces non-linear patterns
started 2015-02-09 15:21:00 UTC
2015-02-14 09:20:14 UTC
Florian Haftmann
4
replies
[isabelle] The development of a large proof script.
started 2015-02-04 13:21:01 UTC
2015-02-09 12:02:02 UTC
Christian Sternagel
1
reply
[isabelle] inconsitent correspondence between Isabelle/SMT and z3/SMT.
started 2015-01-30 15:07:41 UTC
2015-02-02 00:46:17 UTC
Thomas Sewell
1
reply
[isabelle] undocumented command: permanent_interpretation
started 2015-01-25 21:59:58 UTC
2015-01-30 09:09:53 UTC
Florian Haftmann
8
replies
[isabelle] Problem with function package
started 2015-01-27 17:41:14 UTC
2015-01-29 18:37:15 UTC
Florian Haftmann
2
replies
[isabelle] Lazy list theory of L. Paulson
started 2015-01-29 16:13:39 UTC
2015-01-29 16:39:07 UTC
Andreas Lochbihler
1
reply
[isabelle] Precedence of type operators
started 2015-01-26 00:28:26 UTC
2015-01-26 10:27:20 UTC
Makarius
2
replies
[isabelle] Running a function defined in Isabelle
started 2015-01-23 09:15:52 UTC
2015-01-23 09:46:54 UTC
Christian Sternagel
5
replies
[isabelle] a simplifier subtlety
started 2015-01-20 13:30:32 UTC
2015-01-21 11:38:07 UTC
David Cock
1
reply
[isabelle] the Query panel
started 2015-01-20 16:01:30 UTC
2015-01-20 17:09:49 UTC
Makarius
1
reply
[isabelle] local proof context
started 2015-01-20 12:03:06 UTC
2015-01-20 16:55:55 UTC
Makarius
4
replies
[isabelle] Greyout followed by gc error
started 2015-01-14 16:05:11 UTC
2015-01-18 22:06:25 UTC
Makarius
Click to Load More...
Loading...