src/HOL/Isar_Examples/Fibonacci.thy
24 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-04-06 haftmann 2017-04-06 session containing computational algebra
2016-08-02 wenzelm 2016-08-02 tuned;
2016-05-14 wenzelm 2016-05-14 tuned;
2016-02-26 Manuel Eberl 2016-02-26 Tuned Euclidean Rings/GCD rings
2016-02-17 haftmann 2016-02-17 dropped various legacy fact bindings
2015-12-26 wenzelm 2015-12-26 misc tuning and modernization;
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-10-07 wenzelm 2014-10-07 more cartouches; more antiquotations;
2014-07-04 haftmann 2014-07-04 reduced name variants for assoc and commute on plus and mult
2014-02-21 wenzelm 2014-02-21 more symbols;
2014-02-20 wenzelm 2014-02-20 tuned proofs; more symbols;
2014-01-01 haftmann 2014-01-01 dropped obsolete references to recdef
2010-07-01 wenzelm 2010-07-01 avoid Old_Number_Theory; more precise dependencies;
2010-07-01 wenzelm 2010-07-01 misc tuning and modernization;
2009-10-20 wenzelm 2009-10-20 modernized session Isar_Examples;