| #
a4784f6f |
|
09-Oct-2019 |
haftmann <none@none> |
dedicated fact collections for algebraic simplification rules potentially splitting goals
--HG--
extra : rebase_source : ebbd8d0c13409f8fb536c42910e904c24e43dbe6
|
| #
e6ca3b44 |
|
17-Jul-2019 |
paulson <lp15@cam.ac.uk> |
a few new lemmas and a bit of tidying
|
| #
6ee2be1e |
|
14-Jun-2019 |
haftmann <none@none> |
slightly more specialized name for type class
|
| #
35216754 |
|
10-Apr-2019 |
paulson <lp15@cam.ac.uk> |
Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
|
| #
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
| #
cc37beb1 |
|
24-Sep-2018 |
nipkow <none@none> |
Prefix form of infix with * on either side no longer needs special treatment
because (* and *) are no longer comment brackets in terms.
|
| #
6985f7d6 |
|
15-Jul-2018 |
Manuel Eberl <eberlm@in.tum.de> |
Added Real_Asymp package
|