descriptionThe Isabelle repository
ownerisabelle
last changeTue, 18 Jan 2022 17:55:20 +0100
changes
Tue, 18 Jan 2022 17:55:20 +0100 desharna added Mirabelle option -r to randomize the goals before selection default tip
Mon, 17 Jan 2022 17:04:50 +0000 paulson A new lemma about inverse image
Sun, 16 Jan 2022 21:41:16 +0100 desharna proper treatment of $let variables in symbol table in Sledgehammer
Sat, 15 Jan 2022 14:26:16 +0100 desharna removed unconditional TPTP symbol declaration for undefined_bool in sledgehammer
Wed, 12 Jan 2022 16:33:07 +0100 desharna merged
Tue, 11 Jan 2022 22:07:04 +0100 desharna split option "sledgehammer_atp_dest_dir" into "sledgehammer_atp_prob_dest_dir" and "sledgehammer_atp_proof_dest_dir"
Tue, 11 Jan 2022 12:08:03 +0100 desharna proper name mangling of "undefined" constants in Sledgehammer
Tue, 11 Jan 2022 06:48:02 +0000 haftmann earlier availability of lifting
Tue, 11 Jan 2022 06:47:47 +0000 haftmann more correct transfer
Mon, 10 Jan 2022 21:34:09 +0100 desharna merged
...
tags
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
Mon, 15 Feb 2016 14:55:44 +0100 Isabelle2016
Sat, 23 May 2015 17:19:37 +0200 Isabelle2015
Mon, 18 Aug 2014 12:17:31 +0200 Isabelle2014
...
bookmarks
...
branches
Tue, 18 Jan 2022 17:55:20 +0100 default
...