Imp initial commit
Abstrac syntax - arithmetic/boolean expressions
New version of Imp textbook material
Tacticals repeat, try and simple [...; ... ]
More of try and [...; ... ]
Evaluation as a relation between expressions and their values
aeval iff aevalR
beval iff bevalR
Extending relational definitions
Identifiers and states
Expressions with variables and their fixpoint evaluation
Commands
Commands evaluation
Stack compiler
Break command