added version of early alloc

_CoqProject

linux/early_alloc.c

linux/proofs/early_alloc/dune

linux/proofs/early_alloc/generated_code.v

...proofs/early_alloc/generated_proof_hyp_early_alloc_init.v

...roofs/early_alloc/generated_proof_hyp_early_alloc_init1.v

...fs/early_alloc/generated_proof_hyp_early_alloc_nr_pages.v

...proofs/early_alloc/generated_proof_hyp_early_alloc_page.v

...roofs/early_alloc/generated_proof_hyp_early_alloc_page1.v

linux/proofs/early_alloc/generated_spec.v

linux/proofs/early_alloc/proof_files

theories/lang/lang.v

theories/lang/lifting.v

theories/lang/notation.v

theories/lang/tactics.v

theories/typing/padded.v

theories/typing/uninit.v