Isabelle module. Initial version providing function to strip Isabelle/ML/Pascal-style comments.
Isabelle module. Initial version providing function to strip Isabelle/ML/Pascal-style comments.

adbrucker/logicalhacking-zsh