Fixed some minor errors (deprecated operators and offside rule). Removed any remaining uses of the "in" keyword and the double-semicolon.
Fixed some minor errors (deprecated operators and offside rule).
Removed any remaining uses of the "in" keyword and the double-semicolon.

jack-pappas/NHol