add authdata, update TakeOwnership, etc
moved stuff around, etc.
moved invariants, added tpm_ownerclear proofs
physPresence added, all tccs proved
cleanup

Deleting backup files
Updates after PVS 6.0 update
major updates
gen_quote added
CMK commands (no proofs), HMAC, OAEP, XOR
tpmPubkey fix,
remove B, hash from theory parameters,
etc
migration commands added
Merge branch 'refs/heads/master' into flush

Conflicts:
	source/key.prf
	source/pvsbin/StateMonad.bin
	source/pvsbin/memory.bin
	source/startupData.prf
Merge branch 'master' of gitsldg.ittc.ku.edu:verified-tpm/verified-tpm12

Conflicts:
	source/pvsbin/StanyData.bin
	source/pvsbin/StanyFlags.bin
	source/pvsbin/StateMonad.bin
	source/pvsbin/memory.bin
	source/pvsbin/pcr.bin
	source/pvsbin/returnCodes.bin
	source/tpm.prf
Added vtpm specification

Added an initial vtpm theory that basically contains nothing at this point.
vTPM document update

Added more normative text.  Fixed the author description
vTPM document update

Added more normative text.  Fixed the author description
Merge branch 'master' of gitsldg.ittc.ku.edu:verified-tpm/verified-tpm12

Conflicts:
	docs/vtpm/vtpm.pdf
	docs/vtpm/vtpm.tex
update crs, remove crs from digest
Changed vTPM to I_vtpm
decrypt tccs all discharged

added lemmas to help with this… these are still unproved