1:BUILD_BY[name] student5
1:BUILD_ENVIRONMENT[operating system 32 vs 64]

1:END_BUILD_ENVIRONMENT
1:DEPENDENCIES[list of dependencies with where to get them]

1. coq
2. ocaml

1:END_DEPENDENCIES
1:NOTES[notes on attempted build]

Need to install pre-reqs initially. Only coq should also suffice. 
type 'make' by navigating to the x86model folder inside the installation. 
No examples have been provided or described to test the code. 

1:END_NOTES



2:BUILD_BY[name] 
2:BUILD_ENVIRONMENT[operating system 32 vs 64]

2:END_BUILD_ENVIRONMENT
2:DEPENDENCIES[list of dependencies with where to get them]

2:END_DEPENDENCIES
2:NOTES[notes on attempted build]

2:END_NOTES