_CoqProject

-Q theories Stalmarck

theories/Algorithm/BoolAux.v
theories/Algorithm/LetP.v
theories/Algorithm/sTactic.v
theories/Algorithm/OrderedListEq.v
theories/Algorithm/OrderedListEq_ex.v
theories/Algorithm/PolyListAux.v
theories/Algorithm/rZ.v
theories/Algorithm/wfArray.v
theories/Algorithm/addArray.v
theories/Algorithm/normalize.v
theories/Algorithm/triplet.v
theories/Algorithm/state.v
theories/Algorithm/unionState.v
theories/Algorithm/stateDec.v
theories/Algorithm/stateExtra.v
theories/Algorithm/doTriplet.v
theories/Algorithm/doTriplets.v
theories/Algorithm/interState.v
theories/Algorithm/equalBefore.v
theories/Algorithm/makeTriplet.v
theories/Algorithm/ltState.v
theories/Algorithm/stalmarck.v
theories/Algorithm/restrictState.v
theories/Algorithm/memoryImplement.v
theories/Algorithm/algoDotriplet.v
theories/Algorithm/algoDotriplets.v
theories/Algorithm/trace.v
theories/Algorithm/interImplement.v
theories/Algorithm/interImplement2.v
theories/Algorithm/interImplement2_ex.v
theories/Algorithm/algoDilemma1.v
theories/Algorithm/algoStalmarck.v
theories/Algorithm/algoTrace.v
theories/Algorithm/algoRun.v
theories/Algorithm/complete.v
theories/Algorithm/refl.v