Hi, Did anybody define "mod" or "gcd" in HOL? And how to know where they are?
I found gcd has been defined in Isabelle/HOL, but I need in HOL4. Could anybody help me? Best Wishes, Liya ------------------------------------------------------------------------------ This SF.net email is sponsored by Sprint What will you do first with EVO, the first 4G phone? Visit sprint.com/first -- http://p.sf.net/sfu/sprint-com-first _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
