src/HOL/Computational_Algebra/Factorial_Ring.thy
23 months ago haftmann 2017-10-30 generalized some lemmas on multisets
2017-08-18 wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
2017-07-15 eberlm 2017-07-15 More material on powers for HOL-Computational_Algebra/HOL-Number_Theory
2017-04-22 wenzelm 2017-04-22 theories "GCD" and "Binomial" are already included in "Main": this avoids improper imports in applications;
2017-04-07 wenzelm 2017-04-07 tuned headers;
2017-04-06 haftmann 2017-04-06 session containing computational algebra