ProgTutorial/Package/Ind_Extensions.thy
2013-08-31 Christian Urban updated subscripts
2013-05-28 Christian Urban updated to Isabelle changes
2013-04-19 Christian Urban updated to simplifier change
less more (0) -10 -3 tip