------------------------------------------------------------------------
r8326 | pes20 | 2016-11-28 08:29:51 -0800 (Mon, 28 Nov 2016) | 2 lines

Conrad, Mark, Victor, Jean, Peter

------------------------------------------------------------------------
r8325 | pes20 | 2016-11-28 06:11:08 -0800 (Mon, 28 Nov 2016) | 2 lines

more notes

------------------------------------------------------------------------
r8324 | pes20 | 2016-11-28 04:05:46 -0800 (Mon, 28 Nov 2016) | 2 lines

tidying

------------------------------------------------------------------------
r8323 | pes20 | 2016-11-28 03:52:45 -0800 (Mon, 28 Nov 2016) | 2 lines

l1 and l2 that typecheck in Lem

------------------------------------------------------------------------
r8322 | pes20 | 2016-11-28 03:01:44 -0800 (Mon, 28 Nov 2016) | 4 lines

note on Ott features - why they are needed and how various tasks are supported

Ott version of L2

------------------------------------------------------------------------
r8321 | pes20 | 2016-11-24 08:37:53 -0800 (Thu, 24 Nov 2016) | 2 lines

tidy

------------------------------------------------------------------------
r8320 | pes20 | 2016-11-24 08:33:08 -0800 (Thu, 24 Nov 2016) | 2 lines

another Ott version of L1, starting from MarkW's, matching more closely the one used in the course and generating well-typed Lem

------------------------------------------------------------------------
