equal
deleted
inserted
replaced
353 "Types/Axioms" |
353 "Types/Axioms" |
354 "Rules/Basic" |
354 "Rules/Basic" |
355 "Rules/Blast" |
355 "Rules/Blast" |
356 "Rules/Force" |
356 "Rules/Force" |
357 theories [pretty_margin = 64, thy_output_indent = 5] |
357 theories [pretty_margin = 64, thy_output_indent = 5] |
358 "Rules/Primes" |
358 "Rules/TPrimes" |
359 "Rules/Forward" |
359 "Rules/Forward" |
360 "Rules/Tacticals" |
360 "Rules/Tacticals" |
361 "Rules/find2" |
361 "Rules/find2" |
362 "Sets/Examples" |
362 "Sets/Examples" |
363 "Sets/Functions" |
363 "Sets/Functions" |