From: Matthias S. <Mat...@in...> - 2011-01-18 15:18:11
|
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hi Benoit, SIMP_RELIMAGE_DOMSUB_ID SIMP_COMPSET_SUBSETEQ SIMP_FINITE_BOOL SIMP_FORALL and SIMP_EXISTS. I have verified the rules with my Isabelle/Event-B theory. - -Matthias Benoît Lucet schrieb: > Dear All, > > the following rule has been added on the wiki: > > SIMP_FINITE_BOOL > > the following rules have been removed from the wiki > > SIMP_SPECIAL_FORALL_BTRUE > SIMP_SPECIAL_FORALL_BFALSE > SIMP_SPECIAL_EXISTS_BTRUE > SIMP_SPECIAL_EXISTS_BFALSE > > because they were subsumed by rules SIMP_FORALL and SIMP_EXISTS. > > Benoît > > ------------------------------------------------------------------------------ > Protect Your Site and Customers from Malware Attacks > Learn about various malware tactics and how to avoid them. Understand > malware threats, the impact they can have on your business, and how you > can protect your company and customers by using code signing. > http://p.sf.net/sfu/oracle-sfdevnl > _______________________________________________ > Rodin-b-sharp-user mailing list > Rod...@li... > https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFNNa8qczhznXSdWggRAv97AJ9S63is5cOVFB9j2qFW7Ss9s5888QCfTtrl oKwgsqlqOp7Fe3un6Q17MsQ= =8DKk -----END PGP SIGNATURE----- |