Newsgroup:
fa.isabelle
Add New Display Options
4
replies
[isabelle] Make all selectors measure_functions?
started 2016-02-11 11:18:30 UTC
2016-02-13 12:22:29 UTC
Richard Molitor via Cl-isabelle-users
1
reply
[isabelle] [Isabelle2016-RC4] sledgehammer blocks metis proofs
started 2016-02-10 08:53:35 UTC
2016-02-12 16:41:09 UTC
Makarius
7
replies
[isabelle] residual subgoals
started 2016-02-03 09:38:41 UTC
2016-02-12 14:36:04 UTC
Makarius
8
replies
[isabelle] RC1 - Greyout
started 2016-01-21 13:09:51 UTC
2016-02-12 14:18:15 UTC
Makarius
3
replies
[isabelle] adhoc_overloading Monad_Syntax.bind
started 2016-02-12 09:32:44 UTC
2016-02-12 10:57:21 UTC
Makarius
16
replies
[isabelle] Isabelle’s getsettings somehow broken
started 2016-02-10 14:46:40 UTC
2016-02-11 22:06:15 UTC
Makarius
7
replies
[isabelle] Isabelle2016-RC3: delayed updated of error bar in main text area
started 2016-02-04 07:58:00 UTC
2016-02-10 11:23:37 UTC
Andreas Lochbihler
9
replies
[isabelle] Disk usage in ~/.isabelle/contrib
started 2016-02-07 11:44:45 UTC
2016-02-09 22:28:45 UTC
Gerwin Klein
22
replies
[isabelle] Isabelle2016-RC3 -- jEdit build fails when session loaded from different directory
started 2016-02-02 13:54:11 UTC
2016-02-07 13:05:26 UTC
Makarius
1
reply
[isabelle] Isabelle2016-RC4 available for testing
started 2016-02-06 21:47:17 UTC
2016-02-07 10:00:51 UTC
Gerwin Klein
2
replies
[isabelle] Isabelle-RCX/Windows 64 bits (Sledgehammer)
started 2016-01-29 16:17:17 UTC
2016-02-07 00:41:16 UTC
Alfio Martini
4
replies
[isabelle] Funny font metrics in the Search and Replace dialog [Isabelle2016-RC2]
started 2016-01-26 23:16:54 UTC
2016-02-05 16:45:26 UTC
Makarius
1
reply
[isabelle] strong and weak premises
started 2016-02-05 11:39:27 UTC
2016-02-05 13:19:39 UTC
Makarius
2
replies
[isabelle] Custom case distinction rules with consider (Isabelle2016-RC3)
started 2016-02-04 16:36:45 UTC
2016-02-05 06:00:22 UTC
Andreas Lochbihler
2
replies
[isabelle] The Isar Proof Language in 2016
started 2016-02-04 14:39:54 UTC
2016-02-04 21:06:28 UTC
Makarius
9
replies
[isabelle] axiom of choice in Isabelle/HOL, and sledgehammer
started 2016-02-01 22:54:33 UTC
2016-02-03 10:36:00 UTC
Jasmin Blanchette
2
replies
[isabelle] Datatype: Sort constraint and nested datatypes
started 2016-02-02 14:27:14 UTC
2016-02-02 15:36:36 UTC
Dmitriy Traytel
1
reply
[isabelle] Isabelle2016-RC0 - isar-ref.pdf datatype documentation
started 2016-01-03 17:18:47 UTC
2016-02-02 15:29:35 UTC
Makarius
10
replies
[isabelle] Isabelle2016-RC0: cvc4 crashing
started 2016-01-14 17:07:21 UTC
2016-02-02 14:54:57 UTC
Jasmin Blanchette
4
replies
[isabelle] Juxtaposed cartouche error in session run; okay in PIDE
started 2015-11-14 15:50:27 UTC
2016-02-01 22:51:27 UTC
Gottfried Barrow
48
replies
[isabelle] Isabelle2016-RC0 available for testing
started 2016-01-01 19:27:14 UTC
2016-02-01 22:51:27 UTC
Simon Wimmer
1
reply
[isabelle] Isabelle2016-RC2 -- Misleading error message if bad theory name in addition to error in theory
started 2016-02-01 09:29:43 UTC
2016-02-01 13:56:10 UTC
Makarius
1
reply
[isabelle] RC2: Sledgehammer blocks other functionality
started 2016-02-01 10:43:37 UTC
2016-02-01 13:44:15 UTC
Makarius
5
replies
[isabelle] Isabelle2016-RC2 Java exceptions related to search/replace
started 2016-01-29 13:19:32 UTC
2016-01-31 22:50:21 UTC
Makarius
4
replies
[isabelle] Isabelle2016-RC2 panel focus issues
started 2016-01-29 13:54:14 UTC
2016-01-29 23:45:24 UTC
Eugene W. Stark
1
reply
[isabelle] SMT proof fails with exception
started 2016-01-29 15:30:07 UTC
2016-01-29 17:13:14 UTC
Jasmin Blanchette
2
replies
[isabelle] Induction principle for datatypes
started 2016-01-29 04:21:31 UTC
2016-01-29 10:25:42 UTC
王淑灵
3
replies
[isabelle] Isabelle2016-RC2 available (Editor's Text Area vs File)
started 2016-01-28 15:30:59 UTC
2016-01-28 16:24:32 UTC
Alfio Martini
5
replies
[isabelle] "apply auto" transforms provable statement to something false?
started 2016-01-25 11:12:55 UTC
2016-01-27 10:02:24 UTC
Viorel Preoteasa
2
replies
[isabelle] "defines" in a locale
started 2016-01-25 04:51:02 UTC
2016-01-26 03:47:18 UTC
Peter Gammie
Click to Load More...
Loading...