Permalink
Browse files

factored LambdaJS into definitions and proofs

  • Loading branch information...
1 parent 9d2bfb8 commit 6f316f637780775a0289c0691a7b7422eaeb184b @arjunguha arjunguha committed May 29, 2012
Showing with 617 additions and 606 deletions.
  1. +8 −605 coq/LambdaJS.v
  2. +608 −0 coq/LambdaJS_Defs.v
  3. +1 −1 coq/configure
Oops, something went wrong.

0 comments on commit 6f316f6

Please sign in to comment.