descriptionnone
ownergit repository hosting
last changeFri, 20 May 2016 08:09:05 +0000 (10:09 +0200)
shortlog
2016-05-20 Joachim BreitnerUse Eisbach’s solves in apply scripts master AFP-Submission
2016-05-20 Denis Lohneradd Stream_Ext to document
2016-05-20 Denis Lohnerfix import of Stream
2016-05-20 Denis Lohnerremove subsubsection Task 1.1 in Predicate_Tasks
2016-05-20 Denis Lohnerrefactor duplicate fact sset_cycle
2016-05-20 Joachim BreitnerInclude Predicate Task in document
2016-05-19 Joachim BreitnerRepair proof (simpler now)
2016-05-19 Joachim BreitnerFinish acyclicity
2016-05-19 Joachim BreitnerOne sorry left
2016-05-19 Joachim BreitnerPrunedness
2016-05-19 Joachim BreitnerSmall steps
2016-05-19 Joachim BreitnerMultiple interpretation commands make it easier
2016-05-19 Joachim BreitnerExample tasks using predicate (unfinished)
2016-05-19 Joachim BreitnerIncredible_Propositional should not depend on Natural_D...
2016-05-19 Joachim BreitnerAdd Incredible_Predicate.thy
2016-05-19 Joachim BreitnerAdd Predicate Formula instantiation
...
tags
3 years ago AFP-Submission
heads
3 years ago master