| Sun, 05 Oct 2014 23:09:27 +0200 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| Tue, 30 Sep 2014 14:40:48 +0200 |
blanchet |
updated docs with two provers: veriT and Zipperposition
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 16:44:54 +0200 |
kuncar |
add Isabelle Datatype Manual to the bibliography
|
file |
diff |
annotate
|
| Fri, 11 Jul 2014 00:55:46 +0200 |
blanchet |
more docs
|
file |
diff |
annotate
|
| Sat, 28 Jun 2014 11:19:58 +0200 |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|
| Mon, 09 Jun 2014 20:41:00 +0200 |
wenzelm |
more on command-line invocation -- moved material from system manual;
|
file |
diff |
annotate
|
| Thu, 12 Jun 2014 17:50:49 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Thu, 12 Jun 2014 17:02:03 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
| Tue, 01 Apr 2014 14:24:28 +0200 |
Andreas Lochbihler |
document value generation for quickcheck's testers
|
file |
diff |
annotate
|
| Wed, 22 Jan 2014 21:14:27 +0100 |
ballarin |
Locales paper has appeared in print.
|
file |
diff |
annotate
|
| Mon, 25 Nov 2013 16:00:09 +0000 |
paulson |
tweaks to the documentation
|
file |
diff |
annotate
|
| Mon, 11 Nov 2013 17:44:21 +0100 |
wenzelm |
merged, using src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML and src/HOL/Tools/Sledgehammer/sledgehammer_run.ML from 347c3b0cab44;
|
file |
diff |
annotate
|
| Mon, 14 Oct 2013 15:13:11 +0200 |
kuncar |
fix a citation
|
file |
diff |
annotate
|
| Mon, 14 Oct 2013 15:01:37 +0200 |
kuncar |
update documentation of Lifting/Transfer and Quotient
|
file |
diff |
annotate
|
| Fri, 18 Oct 2013 10:35:57 +0200 |
blanchet |
doc fixes suggested by Andreas L.
|
file |
diff |
annotate
|
| Sat, 21 Sep 2013 13:05:54 +0200 |
wenzelm |
basic setup for Isabelle/jEdit documentation;
|
file |
diff |
annotate
|
| Mon, 16 Sep 2013 00:40:02 +0200 |
blanchet |
more (co)data docs
|
file |
diff |
annotate
|
| Tue, 03 Sep 2013 22:12:48 +0200 |
ballarin |
Further clarifies sublocale and rewrite morphisms.
|
file |
diff |
annotate
|
| Wed, 21 Aug 2013 12:28:34 +0200 |
haftmann |
reference to datatype refinment paper
|
file |
diff |
annotate
|
| Thu, 01 Aug 2013 22:37:04 +0200 |
blanchet |
minor doc fixes
|
file |
diff |
annotate
|
| Wed, 31 Jul 2013 11:28:59 +0200 |
blanchet |
more (co)datatype documentation
|
file |
diff |
annotate
|
| Mon, 20 May 2013 16:12:33 +0200 |
blanchet |
updated Sledgehammer docs
|
file |
diff |
annotate
|
| Sat, 26 Jan 2013 16:30:47 +0100 |
wenzelm |
some updates concerning Proof General;
|
file |
diff |
annotate
|
| Tue, 20 Nov 2012 14:29:46 +0100 |
wenzelm |
some documentation for "algebra" in HOL;
|
file |
diff |
annotate
|
| Mon, 19 Nov 2012 16:14:18 +0100 |
wenzelm |
more refs;
|
file |
diff |
annotate
|
| Tue, 28 Aug 2012 18:57:32 +0200 |
wenzelm |
renamed doc-src to src/Doc;
|
file |
diff |
annotate
| base
|