descriptionThe Isabelle repository
ownerisabelle
last changeFri, 29 Apr 2016 01:21:44 +0200
changes
22 hours ago wenzelm 2016-04-29 re-tuned c9605a284fba, which impacts performance significantly (for unclear reasons) -- make AFP/Collections build again; default tip
31 hours ago wenzelm 2016-04-28 unfold is subject to unfold_abs_def (still inactive); tuned signature;
35 hours ago wenzelm 2016-04-28 tuned;
36 hours ago wenzelm 2016-04-28 NEWS;
36 hours ago wenzelm 2016-04-28 clarified order: params/prems/concl interchangeable with !!/==> proposition;
37 hours ago wenzelm 2016-04-28 support 'assumes' in specifications, e.g. 'definition', 'inductive'; tuned signatures;
2 days ago wenzelm 2016-04-27 tuned;
3 days ago wenzelm 2016-04-26 merged
3 days ago wenzelm 2016-04-26 updated subtle side-conditions;
3 days ago wenzelm 2016-04-26 some uses of 'obtain' with structure statement;
...
tags
2 months ago Isabelle2016
11 months ago Isabelle2015
20 months ago Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2012-05-20 Isabelle2012
2011-10-09 Isabelle2011-1
2011-01-30 Isabelle2011
2010-06-21 Isabelle2009-2
...
branches
22 hours ago f009347b9072 default
...