-
Adam Nelson authored
- Split up DefineUtils into separate files following the HOL convention (e.g., fooScript + fooLib) - sumMonadTheory merged into monadsTheory, which now contains list and option monads as well - List and option monads used to clean up code throughout the project - Extra unicode symbols/operators in syntaxSugarTheory
296c77dc