1) Fixed an issue in the PRF_Encryption_IND_CPA example that was causing it to take a long time to check.
2) Modified compMap, compFold, and part of the related theory so that the list has values in Type instead of Set.
3) Added some definitions and theory related to the random oracle model and additional forms of random functions.
4) Added more general arguments about collisions between lists and random values.
1) Fixed an issue in the PRF_Encryption_IND_CPA example that was causing it to take a long time to check. 2) Modified compMap, compFold, and part of the related theory so that the list has values in Type instead of Set. 3) Added some definitions and theory related to the random oracle model and additional forms of random functions. 4) Added more general arguments about collisions between lists and random values.