Newsgroup:
fa.isabelle
Add New Display Options
12
replies
[isabelle] Code setup for Fraction_Field
started 2015-08-27 09:01:25 UTC
2015-09-04 11:20:23 UTC
Manuel Eberl
10
replies
[isabelle] Creating ML data is slow. No sharing/caching?
started 2015-07-28 18:22:45 UTC
2015-09-03 14:31:39 UTC
Andreas Lochbihler
2
replies
[isabelle] Case names qualified by locale
started 2015-09-03 10:23:33 UTC
2015-09-03 12:55:16 UTC
Christoph Dittmann
1
reply
[isabelle] citation autocompletion
started 2015-07-11 10:56:26 UTC
2015-09-03 11:36:06 UTC
Makarius
3
replies
[isabelle] Problem with quickcheck in Isabelle2015
started 2015-09-03 09:22:20 UTC
2015-09-03 11:10:27 UTC
Thomas Genet
4
replies
[isabelle] apply x apply y vs. by x y
started 2015-07-27 20:38:25 UTC
2015-09-03 08:34:39 UTC
Makarius
2
replies
[isabelle] strange type inference
started 2015-09-02 00:06:04 UTC
2015-09-02 09:21:56 UTC
Larry Paulson
6
replies
[isabelle] Post-doctoral position in interactive theorem proving at the University of Iowa
started 2015-09-01 10:32:10 UTC
2015-09-01 19:24:38 UTC
Makarius
6
replies
[isabelle] strange simplifier behaviour
started 2015-08-26 16:06:57 UTC
2015-08-31 02:21:23 UTC
Thomas Sewell
5
replies
[isabelle] Rewriting modulo AC
started 2015-08-27 09:47:37 UTC
2015-08-29 21:11:06 UTC
bzhan@mit.edu
6
replies
[isabelle] Concerning mouse copy-paste in JEdit (plus a patch)
started 2015-08-27 01:42:41 UTC
2015-08-28 23:38:33 UTC
Rafal Kolanski
2
replies
[isabelle] Command-line TPTP tools not working?
started 2015-08-26 08:57:59 UTC
2015-08-27 11:51:47 UTC
Maximilian Claus
2
replies
[isabelle] interpretation and sublocale ignore order of parameters
started 2015-06-09 08:01:22 UTC
2015-08-27 09:21:01 UTC
Andreas Lochbihler
1
reply
[isabelle] Locale strangeness
started 2015-08-11 18:35:33 UTC
2015-08-27 08:28:28 UTC
Florian Haftmann
2
replies
[isabelle] Looping simplifier in the function package
started 2015-08-25 14:09:39 UTC
2015-08-26 08:57:25 UTC
Mandy Martin
8
replies
[isabelle] Isabelle/jEdit cannot return from fullscreen
started 2015-08-22 07:56:51 UTC
2015-08-25 23:15:35 UTC
Matthew Fernandez
9
replies
[isabelle] Storing Generic_Data in a local theory
started 2015-03-08 11:18:03 UTC
2015-08-25 12:34:25 UTC
Florian Haftmann
4
replies
[isabelle] error running sledgehammer
started 2015-08-22 03:31:51 UTC
2015-08-24 19:17:20 UTC
Makarius
1
reply
[isabelle] Surprising markup for pretty-printed case expressions
started 2015-08-20 11:53:34 UTC
2015-08-21 14:15:01 UTC
Dmitriy Traytel
1
reply
[isabelle] a problem with 'subst'
started 2015-08-21 12:42:29 UTC
2015-08-21 12:48:31 UTC
Andrew Gacek
10
replies
[isabelle] Newbie questions on Isar
started 2015-08-18 16:32:53 UTC
2015-08-19 09:54:08 UTC
Lars Noschinski
9
replies
[isabelle] Is it possible to access functions in Isabelle/ML from the top level
started 2015-08-13 13:51:30 UTC
2015-08-18 13:31:56 UTC
Wenda Li
1
reply
[isabelle] Eisbach: Method command: Documentation text
started 2015-08-14 07:49:15 UTC
2015-08-17 01:28:22 UTC
Daniel Matichuk
3
replies
[isabelle] auto-proofs for \forall qualified formulas
started 2015-08-15 15:34:39 UTC
2015-08-15 20:50:45 UTC
Makarius
17
replies
[isabelle] lset contains unexpected elements
started 2015-08-04 16:03:38 UTC
2015-08-14 11:59:48 UTC
Mandy Martin
2
replies
[isabelle] Getting an induction rule out of the function package
started 2015-08-13 10:00:55 UTC
2015-08-13 15:16:34 UTC
Lars Hupel
1
reply
[isabelle] Printing inductive rules as proof trees
started 2015-08-12 21:55:20 UTC
2015-08-12 22:28:13 UTC
Alfio Martini
11
replies
[isabelle] libisabelle: embedding on Java-side
started 2015-07-04 07:24:02 UTC
2015-08-12 11:52:49 UTC
Walther Neuper
3
replies
[isabelle] Print mode for fully-qualified names?
started 2015-08-11 12:30:13 UTC
2015-08-12 07:01:56 UTC
Lars Hupel
4
replies
[isabelle] Proving basic derivatives without explicit instantiation
started 2015-08-06 07:40:27 UTC
2015-08-12 06:57:14 UTC
Manuel Eberl
Click to Load More...
Loading...