Initial revision
grammar => deriv
Better naming
Get rid of derivations
Dyck by prefix definition
Well founded rec => Tree
Removed extra parentheses
Deleted DecTrees.v
derivations are now trees
Minor improvements
Qed => Defined in BinTreeList and ListOf
Removed ProofIrrelevance from DyckTree.v
Cleaned extraction
Do not use minus anymore
ListOfUnion
Sublist => Prefix
Rewrote definition of Dyck by prefix
Merge branch 'master' of github.com:hivert/Coq-Combi