Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tuned function "trd", removed "rd" and "rd_list"
Changeset 9132:b8f90ad89492 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Tuned function "trd", removed "rd" and "rd_list"
The file was modified thys/Groebner_Bases/Buchberger.thy (diff)
The file was modified thys/Groebner_Bases/Buchberger_Examples.thy (diff)
The file was modified thys/Groebner_Bases/Reduction.thy (diff)