wilcoxjay/jamesprl

A proof refinement logic in the style of JonPRL for my own edification

Standard ML