lem | Logic.Propositional, GDP |
LHS | Data.Arguments, GDP |
ListCase | Theory.Lists |
ListCase' | Theory.Lists |
listInduction | Theory.Lists |
listIsList | Theory.Lists |
listShapes | Theory.Lists |
lmapImpl | Logic.Propositional, GDP |
lem | Logic.Propositional, GDP |
LHS | Data.Arguments, GDP |
ListCase | Theory.Lists |
ListCase' | Theory.Lists |
listInduction | Theory.Lists |
listIsList | Theory.Lists |
listShapes | Theory.Lists |
lmapImpl | Logic.Propositional, GDP |