fair-TS-RefinementBiDetTSspecificationspecs/BiDetTS/export/IOspecificationTS-Refinement../Refinement/TS-Refinement/specs/IO/export/TS-over-statestreamxnatspecificationspecs/TS-over-statestreamxnat/export/abehaviorspecificationspecs/abehavior/export/atrace-EF-AFspecificationTS-Refinement../Refinement/TS-Refinement/specs/atrace-EF-AF/export/behaviorspecificationspecs/behavior/export/cbehaviorspecificationspecs/cbehavior/export/ctrace-EF-AFspecificationTS-Refinement../Refinement/TS-Refinement/specs/ctrace-EF-AF/export/elemspecificationlib-basic../lib/basic/specs/elem/export/fairforwardspecificationspecs/fairforward/export/fairforward-is-fairrefinespecificationspecs/fairforward-is-fairrefine/export/fairrefinespecificationspecs/fairrefine/export/fairrefine-choicespecificationspecs/fairrefine-choice/export/fairrefine-choice-for-BiDetTSspecificationspecs/fairrefine-choice-for-BiDetTS/export/forwardspecificationTS-Refinement../Refinement/TS-Refinement/specs/forward/export/forward-is-refinespecificationTS-Refinement../Refinement/TS-Refinement/specs/forward-is-refine/export/genstatespecificationTS-Refinement../Refinement/TS-Refinement/specs/genstate/export/infinite-appendspecificationlib-basic../lib/basic/specs/infinite-append/export/listspecificationlib-basic../lib/basic/specs/list/export/list-dataspecificationlib-basic../lib/basic/specs/list-data/export/list-delspecificationlib-basic../lib/basic/specs/list-del/export/list-dupspecificationlib-basic../lib/basic/specs/list-dup/export/list-lastspecificationlib-basic../lib/basic/specs/list-last/export/monotonespecificationTS-Refinement../Refinement/TS-Refinement/specs/monotone/export/natspecificationlib-basic../lib/basic/specs/nat/export/nat-basic1specificationlib-basic../lib/basic/specs/nat-basic1/export/nat-basic2specificationlib-basic../lib/basic/specs/nat-basic2/export/nat-infspecificationlib-basic../lib/basic/specs/nat-inf/export/nat-inf-basicspecificationlib-basic../lib/basic/specs/nat-inf-basic/export/refinespecificationTS-Refinement../Refinement/TS-Refinement/specs/refine/export/refine-implies-BiDetTS-is-fairforwardspecificationspecs/refine-implies-BiDetTS-is-fairforward/export/statespecificationTS-Refinement../Refinement/TS-Refinement/specs/state/export/statestreamspecificationTS-Refinement../Refinement/TS-Refinement/specs/statestream/export/streamspecificationlib-basic../lib/basic/specs/stream/export/stream-basicspecificationlib-basic../lib/basic/specs/stream-basic/export/trace-EF-AFspecificationTS-Refinement../Refinement/TS-Refinement/specs/trace-EF-AF/export/transitionsystemspecificationTS-Refinement../Refinement/TS-Refinement/specs/transitionsystem/export/