Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
Wed, 30 Mar 2016 15:16:50 +0200 |
blanchet |
more 'corec' docs
|
file |
diff |
annotate
|
Tue, 29 Mar 2016 21:25:19 +0200 |
blanchet |
more 'corec' docs
|
file |
diff |
annotate
|
Tue, 29 Mar 2016 09:49:39 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
Mon, 28 Mar 2016 12:05:47 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
Tue, 23 Feb 2016 16:50:10 +0100 |
blanchet |
updated doc
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 17:21:43 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 16:26:50 +0100 |
traytel |
adjust 112eefe85ff0 to 532ad8de5d61
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 15:18:06 +0100 |
traytel |
correct (apparently untested) e1698a9578ea
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 15:18:06 +0100 |
traytel |
document predicator in datatypes
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 11:39:26 +0100 |
traytel |
call the predicator of list list_all
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 12:07:49 +0100 |
blanchet |
document new 'primrec' feature
|
file |
diff |
annotate
|
Tue, 16 Feb 2016 22:28:19 +0100 |
traytel |
make predicator a first-class bnf citizen
|
file |
diff |
annotate
|
Mon, 15 Feb 2016 12:47:16 +0100 |
blanchet |
document a limitation of 'primcorec'
|
file |
diff |
annotate
|
Thu, 07 Jan 2016 15:53:39 +0100 |
wenzelm |
more uniform treatment of package internals;
|
file |
diff |
annotate
|
Wed, 06 Jan 2016 13:04:31 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Fri, 04 Dec 2015 22:19:04 +0100 |
blanchet |
tuned docs
|
file |
diff |
annotate
|
Fri, 04 Dec 2015 21:39:38 +0100 |
blanchet |
more documentation on 'size' plugin
|
file |
diff |
annotate
|
Tue, 13 Oct 2015 09:21:15 +0200 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
Wed, 07 Oct 2015 13:34:42 +0200 |
blanchet |
clarify docs
|
file |
diff |
annotate
|
Wed, 07 Oct 2015 10:42:13 +0200 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Wed, 07 Oct 2015 10:02:58 +0200 |
blanchet |
made documentation more accurate
|
file |
diff |
annotate
|
Thu, 01 Oct 2015 18:59:53 +0200 |
blanchet |
tuned documentation
|
file |
diff |
annotate
|
Thu, 01 Oct 2015 18:44:48 +0200 |
blanchet |
tuned datatype docs
|
file |
diff |
annotate
|
Thu, 24 Sep 2015 12:28:15 +0200 |
traytel |
congruence rules for the relator
|
file |
diff |
annotate
|
Thu, 24 Sep 2015 12:21:19 +0200 |
traytel |
more useful properties of the relators
|
file |
diff |
annotate
|
Tue, 01 Sep 2015 22:32:58 +0200 |
wenzelm |
eliminated \<Colon>;
|
file |
diff |
annotate
|
Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
NEWS, CONTRIBUTORS, documentation for lift_bnf
|
file |
diff |
annotate
|
Thu, 16 Jul 2015 17:25:44 +0200 |
blanchet |
generalized limitation in documentation
|
file |
diff |
annotate
|
Mon, 25 May 2015 22:11:43 +0200 |
wenzelm |
merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
|
file |
diff |
annotate
|
Wed, 06 May 2015 14:23:22 +0200 |
blanchet |
corrected path in doc
|
file |
diff |
annotate
|
Wed, 22 Apr 2015 19:52:29 +0200 |
blanchet |
doc
|
file |
diff |
annotate
|
Wed, 06 May 2015 15:04:38 +0200 |
blanchet |
added acknowledgment
|
file |
diff |
annotate
|
Tue, 28 Apr 2015 22:56:28 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
Wed, 22 Apr 2015 20:07:00 +0200 |
blanchet |
improved docs
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:46:44 +0200 |
blanchet |
acknowledgment
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:43:36 +0200 |
blanchet |
suppressed warnings
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 19:29:38 +0200 |
blanchet |
updated docs, esp. relating to 'datatype_compat'
|
file |
diff |
annotate
|
Sun, 19 Apr 2015 15:38:24 +0100 |
kleing |
typo
|
file |
diff |
annotate
|
Tue, 31 Mar 2015 14:42:06 +0200 |
blanchet |
tuned doc
|
file |
diff |
annotate
|
Fri, 27 Mar 2015 15:08:31 +0100 |
blanchet |
clarified doc
|
file |
diff |
annotate
|
Tue, 24 Mar 2015 18:10:56 +0100 |
blanchet |
reordered properties
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 23:05:56 +0100 |
traytel |
document property
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 17:02:00 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 17:01:59 +0100 |
blanchet |
clarified documentation
|
file |
diff |
annotate
|
Tue, 03 Mar 2015 17:20:51 +0100 |
blanchet |
updated docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Tue, 06 Jan 2015 09:59:43 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 21:48:05 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 11:00:12 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 09:54:41 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 09:54:40 +0100 |
blanchet |
docs
|
file |
diff |
annotate
|
Mon, 05 Jan 2015 06:56:15 +0100 |
blanchet |
documented 'transfer' options to 'prim(co)rec'
|
file |
diff |
annotate
|
Fri, 19 Dec 2014 11:19:14 +0100 |
desharna |
document 'disc_eq_case'
|
file |
diff |
annotate
|
Fri, 19 Dec 2014 11:18:00 +0100 |
desharna |
document 'case_distrib'
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 20:43:13 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 17:31:01 +0100 |
wenzelm |
clarified keyword categories;
|
file |
diff |
annotate
|
Fri, 07 Nov 2014 12:24:56 +0100 |
desharna |
document '*_transfer' attribute
|
file |
diff |
annotate
|