Newsgroup:
fa.isabelle
Add newDisplay options
12
replies
[isabelle] Decision procedures through computation & code_reflect
started 2015-01-14 15:47:25 UTC
2015-01-31 08:58:49 UTC
Florian Haftmann
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
1
reply
[isabelle] changing font in proof document
started 2015-01-16 19:55:50 UTC
2015-01-17 13:35:03 UTC
Makarius
1
reply
[isabelle] @{subgoals}
started 2015-01-16 14:54:09 UTC
2015-01-16 16:51:51 UTC
Makarius
2
replies
[isabelle] Z3 proof reconstruction - optimizations
started 2014-08-22 10:45:16 UTC
2015-01-15 21:06:46 UTC
b***@in.tum.de
3
replies
[isabelle] Disabling the record simprocs
started 2015-01-15 11:23:18 UTC
2015-01-15 20:27:45 UTC
Makarius
1
reply
[isabelle] Locale, sublocale, Interpretations and a clean dependency tree
started 2015-01-14 17:24:36 UTC
2015-01-15 07:50:32 UTC
Andreas Lochbihler
1
reply
[isabelle] What is the satx method?
started 2015-01-14 22:28:33 UTC
2015-01-15 06:35:35 UTC
b***@in.tum.de
1
reply
[isabelle] Print raw structure of terms
started 2015-01-13 19:29:06 UTC
2015-01-13 20:38:09 UTC
Christian Sternagel
32
replies
[isabelle] Isabelle2014-RC2: PIDE does not resume processing
started 2014-08-08 12:55:50 UTC
2015-01-12 18:13:19 UTC
Peter Lammich
1
reply
[isabelle] Want to auto-define datatype, predicate, & coercions given args "name", "class", & "property"
started 2015-01-09 21:33:57 UTC
2015-01-11 06:01:02 UTC
Gottfried Barrow
1
reply
[isabelle] attribute "simplified"
started 2015-01-05 10:54:34 UTC
2015-01-06 03:50:51 UTC
Thomas Sewell
1
reply
[isabelle] Problems using lattices
started 2014-12-26 18:42:14 UTC
2015-01-03 14:51:43 UTC
Florian Haftmann
3
replies
[isabelle] Isabelle/jEdit - default logic
started 2014-01-20 12:09:28 UTC
2015-01-01 11:03:54 UTC
Makarius
6
replies
[isabelle] syntax issue in document preparation
started 2014-12-30 16:42:17 UTC
2014-12-31 10:54:43 UTC
Makarius
1
reply
[isabelle] Report of another crash
started 2014-12-28 02:42:55 UTC
2014-12-28 12:31:56 UTC
Makarius
1
reply
[isabelle] Report of Crash of Isabelle 2014
started 2014-12-28 00:37:34 UTC
2014-12-28 12:16:28 UTC
Makarius
3
replies
[isabelle] Scala codegen error: need NatO, natT, and NatC
started 2014-12-18 01:08:13 UTC
2014-12-28 11:42:09 UTC
Gottfried Barrow
1
reply
[isabelle] Isabelle as an SML environment and IDE
started 2014-12-19 16:54:56 UTC
2014-12-22 17:54:54 UTC
Omar Montano Rivas
13
replies
[isabelle] Experimental tweaks to make HOL intuitionistic-by-default
started 2014-11-21 22:12:07 UTC
2014-12-21 23:08:53 UTC
Josh Tilles
3
replies
[isabelle] Don’t Make Your Readers Scream
started 2014-12-16 14:37:39 UTC
2014-12-18 23:28:59 UTC
Lawrence Paulson
1
reply
[isabelle] Theorem dependencies in jEdit
started 2014-12-18 10:58:32 UTC
2014-12-18 13:11:48 UTC
Makarius
Click to Load More...