Work on standardisation
more work on std
Merge branch 'master' into std
Merge branch 'master' into std
Updated to finished standardization
Merge branch 'master' into std
Merge branch 'master' into std
Merge branch 'master' into std
Remove unneeded stdwork.v
Working on invseq.v
Getting close to invseqK
Merge branch 'master' into invseq
Work in progress
Reorganized dirtectories
Finished the proof of standard case !