Take a look at the most recent changes from HOTrans Isabelle. The following list will display all the modifications HOTrans Isabelle has implemented in the past 30 days.