Quot/Examples/AbsRepTest.thy
2009-12-23 Christian Urban corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file
less more (0) tip