Commit d702d84

committed

Fix some proofs/libs after pat_assum-rename in HOL

1 parent 09edb83 commit d702d84Copy full SHA for d702d84

3 files changed

lca
- lcaProofScript.sml
- lcaScript.sml
reflectionLib.sml

Comments

(0)