src/HOL/Cardinals/Wellfounded_More.thy
24 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-01-20 blanchet 2014-01-20 tuning
2014-01-17 blanchet 2014-01-17 folded 'Wellfounded_More_FP' into 'Wellfounded'
2013-11-18 blanchet 2013-11-18 compile
2013-11-18 blanchet 2013-11-18 started three-way split of 'HOL-Cardinals'
2012-09-12 blanchet 2012-09-12 renamed "Ordinals_and_Cardinals" to "Cardinals"