descriptionThe Isabelle repository
ownerisabelle
last changeMon, 13 Jul 2020 15:23:32 +0000
changes
45 hours ago haftmann 2020-07-13 concatentation of bit values default tip
2 days ago haftmann 2020-07-12 prefer canonically oriented lists of bits and more direct characterizations in definitions
2 days ago haftmann 2020-07-12 more simp rules for concrete numerical values
2 days ago haftmann 2020-07-12 words added to code generator test
3 days ago haftmann 2020-07-11 a generic horner sum operation
3 days ago haftmann 2020-07-11 more thms
3 days ago wenzelm 2020-07-11 clarified message --- as in former ML version (see 940195fbb282);
3 days ago wenzelm 2020-07-11 clarified signature;
3 days ago wenzelm 2020-07-11 clarified messages: avoid duplicate Timing;
3 days ago wenzelm 2020-07-11 clarified messages;
...
tags
3 months ago Isabelle2020
13 months ago Isabelle2019
23 months ago Isabelle2018
2017-10-04 Isabelle2017
2016-12-12 Isabelle2016-1
2016-02-15 Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
45 hours ago 08f1e4cb735f default
...