[isabelle-dev] simp - ring_simps
Amine Chaieb
chaieb at in.tum.de
Mon Nov 26 23:04:37 CET 2007
Previous message (by thread):
[isabelle-dev] simp and ring_simps -- post release
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Please disguard my previous mail. I had a stange special case theory... Sorry. Amine
Previous message (by thread):
[isabelle-dev] simp and ring_simps -- post release
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list