Mike Gerwitz b33f8bb999 Add vector/length package ... * vector/length.xml: New file.		2018-09-11 09:30:50 -04:00
..
core	Add vector/length package	2018-09-11 09:30:50 -04:00
spec.xml	Allow for arbitrary name for BDD given clause	2018-09-11 09:30:50 -04:00