src/HOL/Library/Combine_PER.thy
2017-04-04 wenzelm 2017-04-04 proper imports; tuned headers;
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-07-12 wenzelm 2016-07-12 misc tuning and modernization;
2016-07-08 haftmann 2016-07-08 default rule for single-step reasoning
2016-07-04 haftmann 2016-07-04 combinator to build partial equivalence relations from a predicate and an equivalenc relation