Merge branch 'master' of https://github.com/PaulMeng/kind2 into PaulMeng-master
More fixes to the formalization
Implemented BMC and Induction
fixed ind
Merge pull request #68 from chsticksel/master

New parser for Lustre
Merge BMC and k-inductive step process
Merge branch 'PaulMeng-master'
Merge code to be updated
Restored merged files, removed tabs
Merged BMC process, k-inductive step to be finished