patternProofsScript.sml 16.5 KB