Newsgroup:
fa.isabelle
Add New Display Options
1
reply
[isabelle] Using typedef_overloaded in future releases of Isabelle
started 2016-05-03 15:36:59 UTC
2016-05-03 23:26:59 UTC
Gerwin Klein
9
replies
[isabelle] unused_thms in proofs
started 2016-04-29 08:44:49 UTC
2016-05-03 14:44:41 UTC
Makarius
1
reply
[isabelle] Current CSP formalisation with syntax and semantics
started 2016-05-03 09:00:58 UTC
2016-05-03 09:44:07 UTC
Makarius
1
reply
[isabelle] Unit-Tests for Isabelle Theories
started 2016-04-27 12:38:23 UTC
2016-04-28 03:15:19 UTC
Thomas Sewell
1
reply
[isabelle] Isabelle2016: sledgehammer ignores prover list
started 2016-04-27 15:18:03 UTC
2016-04-27 19:54:22 UTC
Jasmin Blanchette
1
reply
[isabelle] ML goes "incommunicado" for minutes at a time during sledgehammering
started 2016-04-22 16:10:04 UTC
2016-04-27 07:49:01 UTC
Mathias Fleury
2
replies
[isabelle] New entry in the (moved!) AFP
started 2016-04-26 13:21:58 UTC
2016-04-26 21:59:31 UTC
Gerwin Klein
1
reply
[isabelle] Going from Isabelle 2013 to Isabelle 2016
started 2016-04-25 14:14:58 UTC
2016-04-25 15:21:19 UTC
Makarius
1
reply
[isabelle] Type variables, locale import and notation
started 2016-04-23 23:58:26 UTC
2016-04-25 06:39:23 UTC
Andreas Lochbihler
1
reply
[isabelle] Problem during goal simplification
started 2016-04-21 19:46:11 UTC
2016-04-21 23:13:00 UTC
Omar Montaño Rivas
1
reply
[isabelle] ZF theory - loading problem
started 2016-04-18 13:36:58 UTC
2016-04-18 13:44:57 UTC
Lawrence Paulson
1
reply
[isabelle] inductive + for
started 2016-04-15 14:32:39 UTC
2016-04-15 15:57:03 UTC
Andreas Lochbihler
5
replies
[isabelle] Simplifying addition and subtraction of multisets
started 2016-04-08 11:56:22 UTC
2016-04-15 10:12:39 UTC
Jeremy Dawson
2
replies
[isabelle] Undefined facts in skip_proofs mode (take two)
started 2016-04-14 10:05:06 UTC
2016-04-14 14:16:16 UTC
Gerwin Klein
2
replies
[isabelle] Completion for long names inserts quotes
started 2016-03-17 15:20:39 UTC
2016-04-14 11:18:24 UTC
Andreas Lochbihler
2
replies
[isabelle] Empty session_graph files
started 2016-04-11 06:41:37 UTC
2016-04-14 09:44:55 UTC
Makarius
5
replies
[isabelle] Automation for sub-term-like well-orderings
started 2016-04-12 08:15:16 UTC
2016-04-12 09:34:41 UTC
Peter Lammich
2
replies
[isabelle] Display of exceptions in Isabelle/jEdit
started 2016-03-31 10:39:06 UTC
2016-04-10 12:28:56 UTC
David Matthews
6
replies
[isabelle] A question about sets and embeddings in HOL
started 2016-04-09 13:14:09 UTC
2016-04-10 11:44:20 UTC
Eugene W. Stark
1
reply
[isabelle] Turning an Eisbach method into a simple method
started 2016-04-07 08:35:22 UTC
2016-04-08 04:31:06 UTC
Daniel Matichuk
2
replies
[isabelle] Base case in termination proof..
started 2016-04-03 21:07:19 UTC
2016-04-03 21:44:39 UTC
Daniel Horne
5
replies
[isabelle] A large mutually recursive data type
started 2016-03-11 10:26:25 UTC
2016-04-03 21:14:20 UTC
Jasmin Blanchette
14
replies
[isabelle] Rational numbers in Isabelle/ML
started 2016-04-01 21:52:10 UTC
2016-04-03 13:59:43 UTC
Manuel Eberl
1
reply
[isabelle] A congruence rule proven by 'presburger'?
started 2016-04-01 19:00:12 UTC
2016-04-01 19:20:59 UTC
Dmitriy Traytel
1
reply
[isabelle] bash on Windows 10
started 2016-03-31 10:11:29 UTC
2016-03-31 15:30:10 UTC
Makarius
1
reply
[isabelle] Definition
started 2016-03-30 15:27:13 UTC
2016-03-31 11:18:33 UTC
Lawrence Paulson
1
reply
[isabelle] Prime number theorem for isabelle2016?
started 2016-03-30 10:00:11 UTC
2016-03-30 10:54:43 UTC
Lawrence Paulson
1
reply
[isabelle] sledge-hammer
started 2016-03-29 12:13:05 UTC
2016-03-30 06:50:06 UTC
Jasmin Blanchette
3
replies
[isabelle] elementary proofs
started 2016-03-26 22:56:59 UTC
2016-03-27 16:21:55 UTC
Alfio Martini
1
reply
[isabelle] types problem
started 2016-03-22 17:15:22 UTC
2016-03-24 11:49:27 UTC
Jonathan Woodgate via Cl-isabelle-users
Click to Load More...
Loading...