Newsgroup:
fa.isabelle
Add New Display Options
2
replies
[isabelle] Isabelle/jEdit and hyperthreading
started 2015-06-29 01:18:03 UTC
2015-06-30 01:19:33 UTC
Matthew Fernandez
2
replies
[isabelle] large system verification
started 2015-06-29 11:51:12 UTC
2015-06-29 21:32:37 UTC
Gerwin Klein
2
replies
[isabelle] Eisbach: HOL vs. Pure
started 2015-06-28 14:13:33 UTC
2015-06-29 10:47:24 UTC
Larry Paulson
4
replies
[isabelle] Equivalent to schematic_lemma inside proof blocks
started 2015-05-18 10:53:51 UTC
2015-06-29 07:12:53 UTC
Andreas Lochbihler
2
replies
[isabelle] Lost indexname in instantiated theorem: Eisbach messes up "of" and "where" attributes, when instantiating with "TYPE(...)"
started 2015-06-26 10:37:47 UTC
2015-06-29 05:36:37 UTC
Daniel Matichuk
8
replies
[isabelle] jEdit problems
started 2015-06-26 17:50:17 UTC
2015-06-27 21:05:09 UTC
Jason Dagit
9
replies
[isabelle] Datatype + cardinality + polymorphismus?
started 2015-06-27 11:13:58 UTC
2015-06-27 20:24:57 UTC
Larry Paulson
1
reply
[isabelle] Accessing ML terms in Isabelle theory
started 2015-06-27 11:38:53 UTC
2015-06-27 12:39:25 UTC
Lars Hupel
2
replies
[isabelle] of/where with dummy-patterns
started 2015-06-26 16:35:40 UTC
2015-06-27 07:47:42 UTC
Peter Lammich
1
reply
[isabelle] document preparation: folding inside ignored parts
started 2015-06-26 22:13:15 UTC
2015-06-26 22:33:29 UTC
Makarius
6
replies
[isabelle] Sledgehammer - Cannot connect to server
started 2015-06-25 09:37:02 UTC
2015-06-26 09:29:57 UTC
Artur Gomes
7
replies
[isabelle] find_theorems and locales
started 2015-06-11 09:26:55 UTC
2015-06-25 15:38:34 UTC
Larry Paulson
2
replies
[isabelle] How tactic fold instantiates variables
started 2015-05-29 09:40:10 UTC
2015-06-24 13:54:56 UTC
Larry Paulson
11
replies
[isabelle] libisabelle: embedding on ML-side
started 2015-06-15 08:27:21 UTC
2015-06-24 09:38:37 UTC
Walther Neuper
1
reply
[isabelle] *** Duplicate session "RAW"
started 2015-06-18 13:16:28 UTC
2015-06-24 08:07:05 UTC
Walther Neuper
3
replies
[isabelle] sig-alternate.cls
started 2015-06-01 05:24:46 UTC
2015-06-24 02:42:37 UTC
Toby Murray
3
replies
[isabelle] Sledgehammer 2015 oddity
started 2015-05-28 05:54:20 UTC
2015-06-23 21:52:49 UTC
Makarius
2
replies
[isabelle] Extracting Goal Information from Proof Terms
started 2015-05-12 10:13:03 UTC
2015-06-23 21:36:40 UTC
Makarius
11
replies
[isabelle] Message output in Isabelle2014 and Isabelle2015
started 2015-06-23 08:21:54 UTC
2015-06-23 18:13:22 UTC
Makarius
3
replies
[isabelle] Bug in Sledgehammer / cvc4
started 2015-06-22 20:07:36 UTC
2015-06-23 07:34:57 UTC
Jasmin Blanchette
3
replies
[isabelle] a simplifier question 3
started 2015-06-19 23:28:45 UTC
2015-06-23 05:49:00 UTC
Manuel Eberl
12
replies
[isabelle] RC5: Ordering of normal output and error output
started 2015-05-21 12:13:17 UTC
2015-06-20 21:38:39 UTC
Makarius
3
replies
[isabelle] Recursive datatypes
started 2015-06-20 10:26:30 UTC
2015-06-20 15:17:58 UTC
Diego Machado Dias
2
replies
[isabelle] Isabelle2015: install problem on Win 7
started 2015-06-19 09:25:58 UTC
2015-06-19 18:59:28 UTC
Colin Rowat
2
replies
[isabelle] Sledgehammer: Cannot connect to server.
started 2015-06-19 12:53:53 UTC
2015-06-19 16:13:47 UTC
C. Diekmann
1
reply
[isabelle] Isabelle (or something else) for Highscool Kids
started 2015-06-18 12:58:29 UTC
2015-06-18 17:57:32 UTC
Larry Paulson
1
reply
[isabelle] proof engineering for program verification
started 2015-06-17 12:45:56 UTC
2015-06-17 13:09:19 UTC
Ramana Kumar
6
replies
[isabelle] Method combinator ; restricts to first subgoal
started 2015-06-04 10:27:00 UTC
2015-06-15 16:21:22 UTC
Makarius
1
reply
[isabelle] build tool and moving of files
started 2015-05-28 12:16:03 UTC
2015-06-15 15:45:11 UTC
Makarius
2
replies
[isabelle] Strange interaction between ambiguous syntax and dummy patterns
started 2015-05-28 11:09:36 UTC
2015-06-15 15:41:22 UTC
Makarius
Click to Load More...
Loading...