name
afp-2019
description
The Archive of Formal Proofs (release branch)
owner
unknown
last change
Mon, 09 Dec 2019 16:32:42 +0100

Changes

Mon, 09 Dec 2019 16:32:42 +0100 Rene Thiemann website updates draft default tip changeset | files
Mon, 09 Dec 2019 16:00:57 +0100 Rene Thiemann new entry: Generalized Counting Sort draft changeset | files
Mon, 02 Dec 2019 15:35:03 +0100 Rene Thiemann build Linear_Programming based on Jordan_Normal_Form (improve build time) draft changeset | files
Mon, 02 Dec 2019 12:42:47 +0100 Max Haslbeck minor adjustment of internal interface of simplex (fun -> mapping), draft changeset | files
Thu, 28 Nov 2019 16:35:46 +0100 nipkow New article Interval_Arithmetic_Word32 draft changeset | files
Mon, 04 Nov 2019 12:18:18 +0100 Rene Thiemann Frankel -> Fraenkel draft changeset | files
Mon, 04 Nov 2019 10:40:28 +0100 Rene Thiemann more consistent use of <em> in ZFC-in-HOL abstract draft changeset | files
Mon, 04 Nov 2019 10:38:10 +0100 Rene Thiemann metadata and sitegen for ZFC_in_HOL draft changeset | files
Mon, 04 Nov 2019 10:37:36 +0100 Rene Thiemann add Set Theory as new topic (as requested by Larry for his ZFC-in-HOL entry) draft changeset | files
Mon, 04 Nov 2019 10:34:50 +0100 Rene Thiemann added missing \isa{.} in abstract draft changeset | files
...

Tags

Tue, 24 Jul 2018 17:07:03 +0200 Isabelle2018 changeset | changelog | files
Thu, 28 Sep 2017 16:47:48 +0200 Isabelle2017 changeset | changelog | files
Wed, 30 Nov 2016 11:56:54 +0100 Isabelle2016-1 changeset | changelog | files
Sat, 13 Feb 2016 22:04:06 +0000 Isabelle2016 changeset | changelog | files
Thu, 28 May 2015 10:22:08 +1000 Isabelle2015 changeset | changelog | files
Thu, 14 Aug 2014 16:31:03 +0200 Isabelle2014 changeset | changelog | files
Wed, 23 Oct 2013 16:17:07 +0200 Isabelle2013-2 changeset | changelog | files
Wed, 23 Oct 2013 16:17:07 +0200 Isabelle2013-1 changeset | changelog | files
Mon, 28 Jan 2013 21:47:41 +1100 Isabelle2013 changeset | changelog | files
Wed, 23 May 2012 18:52:14 +0200 Isabelle2012 changeset | changelog | files
...

Bookmarks

...

Branches

Mon, 09 Dec 2019 16:32:42 +0100 default changeset | changelog | files
Sun, 25 Feb 2018 12:43:02 +0100 deep_learning changeset | changelog | files
Tue, 24 May 2016 13:27:29 +0200 remove-config changeset | changelog | files
Tue, 10 May 2016 17:07:17 +0200 config changeset | changelog | files
Fri, 15 Apr 2016 12:08:25 +0200 depends-on changeset | changelog | files
Thu, 04 Feb 2016 22:30:52 +1100 prathamesh_t/roottex-edited-online-with-bitbucket-ref-1454568673402 changeset | changelog | files
Tue, 29 Jun 2010 09:57:26 +1000 HRBSlicing-changes changeset | changelog | files
Tue, 29 Jun 2010 09:55:49 +1000 Isabelle2009 changeset | changelog | files
...

mercurial