(*<*) text ‹This puts together all the theories of the abstract development› theory All_Abstract imports Abstract_First_Goedel Abstract_First_Goedel_Rosser Abstract_Second_Goedel Jeroslow_Original Jeroslow_Simplified Loeb Tarski begin end (*>*)