An Isabelle/HOL Formalization of Rewriting 
for Certified Termination Analysis 

Versions

To check the version, just invoke CeTA with --version or without arguments (for version v2.28 or older).