| Mon, 18 Apr 2016 20:56:18 +0200 | haftmann | fragment of a HOL type class primer | file | diff | annotate |
| Wed, 30 Mar 2016 15:16:50 +0200 | blanchet | more 'corec' docs | file | diff | annotate |
| Tue, 29 Mar 2016 17:42:43 +0200 | blanchet | more 'corec' documentation | file | diff | annotate |
| Wed, 10 Feb 2016 14:14:43 +0100 | wenzelm | misc tuning and updates; | file | diff | annotate |
| Mon, 01 Feb 2016 23:52:06 +0100 | blanchet | updated HOL-specific section w.r.t. datatypes | file | diff | annotate |
| Wed, 13 Jan 2016 21:15:23 +0100 | wenzelm | updated section on "Overloaded constant definitions"; | file | diff | annotate |
| Thu, 31 Dec 2015 19:53:19 +0100 | wenzelm | discontinued documentation of old browser; | file | diff | annotate |
| Fri, 04 Dec 2015 22:19:04 +0100 | blanchet | tuned docs | file | diff | annotate |
| Fri, 25 Sep 2015 23:39:08 +0200 | wenzelm | documentation for "Semantic subtype definitions"; | 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 23:28:09 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 06 May 2015 23:04:36 +0200 | wenzelm | proper bib entry; | file | diff | annotate |
| Mon, 04 May 2015 21:58:35 +0200 | wenzelm | tuned; | file | diff | annotate |
| Wed, 22 Apr 2015 20:07:00 +0200 | blanchet | improved docs | file | diff | annotate |
| Sun, 05 Oct 2014 23:09:27 +0200 | wenzelm | more refs; | file | diff | annotate |