1signature pairSimps = 2sig 3 4 val PAIR_ss : simpLib.ssfrag 5 6 val paired_forall_ss : simpLib.ssfrag 7 val paired_exists_ss : simpLib.ssfrag 8 val gen_beta_ss : simpLib.ssfrag 9 10end 11
1signature pairSimps = 2sig 3 4 val PAIR_ss : simpLib.ssfrag 5 6 val paired_forall_ss : simpLib.ssfrag 7 val paired_exists_ss : simpLib.ssfrag 8 val gen_beta_ss : simpLib.ssfrag 9 10end 11