Skip to content
Permalink
Browse files

Merge remote-tracking branch 'origin/linear-scan' into monadic-trans-…

…cleanup
  • Loading branch information...
tanyongkiam committed Apr 5, 2019
2 parents 2f95ea8 + 363f406 commit 4098df740d2996598e0cbe51bad6562db9dcd507
@@ -1444,7 +1444,7 @@ Theorem compile_correct
\\ match_mp_tac SUBSET_TRANS
\\ asm_exists_tac
\\ simp[Abbr`AA`,Abbr`BB`,Abbr`CC`]
\\ simp[linear_scanProofTheory.set_MAP_FST_toAList]
\\ simp[linear_scanProofTheory.set_MAP_FST_toAList_eq_domain]
\\ conj_tac >- (
reverse conj_tac
>- (
Oops, something went wrong.

0 comments on commit 4098df7

Please sign in to comment.
You can’t perform that action at this time.