ï„•¦¾ÌÍ¥ °@ +PocklingtonÿB A °@ &PrologÿB °@ 'ProgramÿB °@ %TautoÿB °@ #InvÿB °@ (EqualityÿB °@ &ProPreÿB °@ 0Logic_TypeSyntaxÿB °@ *Logic_TypeÿB °@ 'PreludeÿB °@ "WfÿB °@ %PeanoÿB °@ ,SpecifSyntaxÿB °@ &SpecifÿB °@ +LogicSyntaxÿB °@ %LogicÿB °@ /DatatypesSyntaxÿB °@ )DatatypesÿB °@ $CoreÿB °@ "IOÿB@  ° S@ !_KB ° JB ° IB °   HB °  GB ° FB ° EB ° DB ° CB ° BB °  AB °# "@B@@  ³%Arith°@ %ArithÿB@  ³&ZArith°@ &ZArithÿB@  ³$list°@ $listÿB@  "³'divides°@ 'dividesÿB@  ,³#mod°@ #modÿB@  6³#exp°@ #expÿB@  @³#gcd°@ #gcdÿB@  J³%prime°@ %primeÿB@  T³(modprime°@ (modprimeÿB@  ^³&fermat°@ &fermatÿB@  h³%order°@ %orderÿB@  t³$pock°@ $pockÿB@@