descriptionThe Isabelle repository
ownerisabelle
last changeWed, 24 Feb 2021 18:41:39 +0000
changes
Wed, 24 Feb 2021 18:41:39 +0000 paulson merged default tip
Wed, 24 Feb 2021 14:49:36 +0000 paulson merged
Wed, 24 Feb 2021 14:49:16 +0000 paulson A couple of basic lemmas about arg
Wed, 24 Feb 2021 13:31:33 +0000 haftmann multiset as equivalence class of permuted lists
Wed, 24 Feb 2021 13:31:28 +0000 haftmann emphasize connection to multisets
Wed, 24 Feb 2021 18:54:53 +0100 wenzelm proper "latest" tag, otherwise the default pull command from https://hub.docker.com/r/makarius/isabelle won't work;
Tue, 23 Feb 2021 23:00:08 +0100 wenzelm more on Isabelle_System.bash;
Tue, 23 Feb 2021 20:41:48 +0000 haftmann more specific name
Tue, 23 Feb 2021 20:41:48 +0000 haftmann more lemmas
Tue, 23 Feb 2021 20:41:48 +0000 haftmann dropped obscure FIXME
...
tags
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
Wed, 04 Dec 2013 18:59:20 +0100 Isabelle2013-2
...
bookmarks
...
branches
Wed, 24 Feb 2021 18:41:39 +0000 default
...