diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-04-29 22:03:59 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2011-04-29 22:03:59 +0000 |
commit | 89b0369e887b4cf876e95dc862ae3057383370f3 (patch) | |
tree | fc77f2220ed0b4d9bd42a8fccf42159230da21ac /src/parser | |
parent | 40449557777db2d1170cb86274f83b431b5fef04 (diff) |
refactoring to datatypes theory, added working prototype for proof/explanation manager
Diffstat (limited to 'src/parser')
0 files changed, 0 insertions, 0 deletions