-R . dfrs

util/util.v
util/fun_util.v
util/util_fun_ind_equiv.v
variables/variables.v
variables/variables_fun_rules.v
variables/variables_fun_ind_equiv.v
states/states.v
states/states_fun_rules.v
states/states_fun_ind_equiv.v
functions/functions.v
functions/functions_fun_rules.v
functions/functions_fun_ind_equiv.v
s_dfrs/s_dfrs.v
s_dfrs/s_dfrs_fun_rules.v
s_dfrs/s_dfrs_fun_ind_equiv.v
trans_rel/trans_rel.v
trans_rel/trans_rel_fun_rules.v
trans_rel/trans_rel_fun_ind_equiv.v
e_dfrs/e_dfrs.v
e_dfrs/e_dfrs_fun_rules.v
e_dfrs/e_dfrs_fun_ind_equiv.v
s2e_dfrs/s2e_dfrs_fun_rules.v
s2e_dfrs/properties.v
examples/phil_tests.v
quickchick/qc_instances.v
examples/phil_properties.v
