Closed rzach closed 3 years ago
For some reason the \ifcase construct at https://github.com/rzach/multlog/blob/3f346741c02a8e50593d40a4d7903f63ea7578cb/ml/ml.tex#L261 doesn't work -- the inductive clause of the definition of "formula" is empty.
\ifcase
For some reason the
\ifcase
construct at https://github.com/rzach/multlog/blob/3f346741c02a8e50593d40a4d7903f63ea7578cb/ml/ml.tex#L261 doesn't work -- the inductive clause of the definition of "formula" is empty.