descriptionThe Isabelle repository
ownerisabelle
last changeSun, 19 Feb 2017 11:58:51 +0100
changes
21 hours ago haftmann 2017-02-19 backed out unintended effects of 8355a6e2df79 in src/HOL/Algebra default tip
37 hours ago haftmann 2017-02-18 more complete program generation in presence of dictionaries
2 days ago wenzelm 2017-02-17 removed obsolete test -- coincides with mainline version;
2 days ago wenzelm 2017-02-17 updated to polyml-5.7 pre-release from repository;
3 days ago fleury 2017-02-16 use the cancellation simprocs directly
3 days ago fleury 2017-02-16 don't activate simproc on cancel_comm_monoid_add
5 days ago fleury 2017-02-14 cancellation simprocs generalising the multiset simprocs
6 days ago fleury 2017-02-13 adding simplification patterns to multiset simprocs
6 days ago fleury 2017-02-13 renaming multiset simprocs
8 days ago haftmann 2017-02-11 implicit eta contraction for preprocessed terms avoids unintended implicit eta expansion
...
tags
2 months ago Isabelle2016-1
12 months ago Isabelle2016
21 months ago Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
...
branches
21 hours ago b46fe5138cb0 default
...