restructure resultant algorithms, so that tuned code-equations are also availalbe for integral domains
Description
Description
Details
Details
- Provenance
Rene Thiemann <rene.thiemann@uibk.ac.at> Authored on - Parents
- rAFP53b6f280fa46: removed obselete sorted_sorted_wrt, following Isabelle/06aeb9054c07;
- Branches
- Unknown
- Tags