Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Merged
  3. Merged
  4. Proved induction rule for gb_schema_aux
  5. Changed algorithm schema to discard useless pairs immediately
  6. minor cleanup and adjustments to automata library
Changeset 9240:a44c96e6f45b by alexander maletzky _alexander.maletzky@risc.jku.at_:
Merged
Changeset 9239:0511c25335f8 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Merged
Changeset 9238:b9373b81be49 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Merged
Changeset 9237:2be0b640b277 by alexander maletzky _alexander.maletzky@risc.jku.at_:
Proved induction rule for gb_schema_aux
The file was modified thys/Groebner_Bases/Algorithm_Schema.thy (diff)
Changeset 9236:9921bdae457d by alexander maletzky _alexander.maletzky@risc.jku.at_:
Changed algorithm schema to discard useless pairs immediately
The file was modified thys/Groebner_Bases/Algorithm_Schema.thy (diff)
The file was modified thys/Groebner_Bases/Buchberger.thy (diff)
The file was modified thys/Groebner_Bases/Buchberger_Examples.thy (diff)
Changeset 9235:a918c90fdc80 by julian brunner _julianbrunner@gmail.com_:
minor cleanup and adjustments to automata library
The file was modified thys/Transition_Systems_and_Automata/Automata/NBA_Implement.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Basic/Sequence.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/Basic/Sequence_LTL.thy (diff)
The file was modified thys/Transition_Systems_and_Automata/ROOT (diff)