descriptionThe Isabelle repository
ownerisabelle
last changeWed, 28 Sep 2022 19:14:57 +0100
changes
Wed, 28 Sep 2022 19:14:57 +0100 paulson more structured proofs default tip
Wed, 28 Sep 2022 11:23:49 +0100 paulson fixed some theory presentation issues (?)
Wed, 28 Sep 2022 11:00:13 +0200 wenzelm recover informal "&" from 0c18df79b1c8;
Tue, 27 Sep 2022 22:57:30 +0100 paulson added a couple of structured proofs
Tue, 27 Sep 2022 18:02:34 +0100 paulson More obsolete "unfold" calls
Tue, 27 Sep 2022 17:54:20 +0100 paulson getting rid of apply (unfold ...)
Tue, 27 Sep 2022 17:46:52 +0100 paulson More syntactic cleanup. LaTeX markup working
Tue, 27 Sep 2022 17:03:23 +0100 paulson more modernisation of syntax
Tue, 27 Sep 2022 16:51:35 +0100 paulson Removal of obsolete ASCII syntax
Tue, 27 Sep 2022 13:34:54 +0200 wenzelm clarified options;
...
tags
Sun, 18 Sep 2022 00:00:05 +0200 Isabelle2022-RC2
Sat, 10 Sep 2022 20:44:22 +0200 Isabelle2022-RC1
Mon, 08 Aug 2022 20:01:18 +0200 Isabelle2022-RC0
Sat, 11 Dec 2021 11:24:48 +0100 Isabelle2021-1
Sat, 20 Feb 2021 13:42:37 +0100 Isabelle2021
Mon, 13 Apr 2020 22:08:14 +0200 Isabelle2020
Sat, 01 Jun 2019 11:29:59 +0200 Isabelle2019
Sun, 12 Aug 2018 14:28:28 +0200 Isabelle2018
Wed, 04 Oct 2017 12:00:53 +0200 Isabelle2017
Mon, 12 Dec 2016 11:17:23 +0100 Isabelle2016-1
...
bookmarks
...
branches
Wed, 28 Sep 2022 19:14:57 +0100 default
...