Initial commit
Merge branch 'master' of https://github.com/mattam82/typex into github
Finish Dom <-> domain proof. Only admin lemmas TODO.
Finished proof for domain and Dom.
Add Init file for prelude defs and tactics.
Better off with encoding sequences straightforwardly (top of list is first move in tree).
Wrote eval function, now to prove its termination.
WIP on integrating Pierre Geneves et al's XPath library.
Compile everything.
Add new axes.
Add Automata files.
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/typex/typex
- Fix definition of eval, add measure (not proved)
- Various comments