![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Expression.hs | 05-Aug-2012 18:45 | 2.4K | |
| FSA_I-2x2.pdf | 24-Sep-2012 16:15 | 2.2M | |
| FSA_I.pdf | 24-Sep-2012 16:15 | 2.2M | |
| FSA_II-2x2.pdf | 28-Sep-2012 12:09 | 124K | |
| FSA_II.pdf | 28-Sep-2012 12:09 | 115K | |
| FSA_III-2x2.pdf | 04-Oct-2012 09:32 | 114K | |
| FSA_III.pdf | 04-Oct-2012 09:32 | 105K | |
| FirstOrderND.pdf | 05-Nov-2012 20:30 | 285K | |
| FirstOrderND4up.pdf | 05-Nov-2012 20:31 | 249K | |
| Grammars_I-2x2.pdf | 05-Oct-2012 13:00 | 203K | |
| Grammars_I.pdf | 05-Oct-2012 13:00 | 198K | |
| Grammars_II-2x2.pdf | 10-Oct-2012 16:22 | 123K | |
| Grammars_II.pdf | 10-Oct-2012 16:22 | 121K | |
| Haskell.pdf | 02-Aug-2012 21:08 | 121K | |
| Hoare_I-2x2.pdf | 13-Aug-2012 16:14 | 197K | |
| Hoare_I.pdf | 13-Aug-2012 16:14 | 198K | |
| Hoare_II-2x2.pdf | 15-Aug-2012 16:02 | 116K | |
| Hoare_II.pdf | 15-Aug-2012 16:02 | 112K | |
| Hoare_III-2x2.pdf | 17-Aug-2012 12:05 | 118K | |
| Hoare_III.pdf | 17-Aug-2012 12:05 | 115K | |
| Induction.pdf | 05-Aug-2012 21:20 | 116K | |
| Induction2.pdf | 06-Aug-2012 20:12 | 104K | |
| Induction4up.pdf | 07-Aug-2012 21:53 | 109K | |
| Induction24up.pdf | 09-Aug-2012 20:43 | 99K | |
| Intro-Logic-2x2.pdf | 25-Jul-2012 13:04 | 148K | |
| Intro-Logic.pdf | 23-Jul-2012 17:35 | 118K | |
| Lambda-Calculus-2x2.pdf | 05-Sep-2012 13:10 | 380K | |
| Lambda-Calculus.pdf | 05-Sep-2012 13:08 | 354K | |
| MtLambda.gif | 05-Sep-2012 13:23 | 47K | |
| Overview_of_Research-2x2.pdf | 20-Oct-2012 00:40 | 281K | |
| Overview_of_Research.pdf | 19-Oct-2012 17:24 | 290K | |
| PredNDrules.pdf | 11-Jun-2012 15:14 | 29K | |
| Prolog-2x2.pdf | 07-Sep-2012 10:04 | 267K | |
| Prolog-code/ | 07-Sep-2012 09:43 | - | |
| Prolog.pdf | 07-Sep-2012 10:04 | 231K | |
| PropND.pdf | 31-Jul-2012 17:48 | 118K | |
| PropND4up.pdf | 31-Jul-2012 17:49 | 106K | |
| PropNDrules.pdf | 11-Jun-2012 15:14 | 25K | |
| Review-part2.pdf | 29-Oct-2012 14:29 | 94K | |
| Sets-2x2.pdf | 25-Jul-2012 16:19 | 130K | |
| Sets.pdf | 25-Jul-2012 16:19 | 107K | |
| StrIndNatDedRevision.pdf | 28-Oct-2012 22:06 | 97K | |
| StrIndNatDedRevisionNoAnswers.pdf | 28-Oct-2012 22:08 | 78K | |
| Turing_I-2x2.pdf | 12-Oct-2012 12:07 | 242K | |
| Turing_I.pdf | 12-Oct-2012 12:07 | 240K | |
| Turing_II-2x2.pdf | 15-Oct-2012 16:10 | 119K | |
| Turing_II.pdf | 15-Oct-2012 16:10 | 117K | |
| Turing_III-2x2.pdf | 17-Oct-2012 16:01 | 107K | |
| Turing_III.pdf | 17-Oct-2012 16:01 | 103K | |
| Types.pdf | 06-Aug-2012 17:42 | 100K | |
| Types4up.pdf | 06-Aug-2012 17:41 | 87K | |
| WP_I-2x2.pdf | 20-Aug-2012 16:07 | 123K | |
| WP_I.pdf | 20-Aug-2012 16:07 | 121K | |
| WP_II-2x2.pdf | 22-Aug-2012 16:08 | 126K | |
| WP_II.pdf | 22-Aug-2012 16:08 | 123K | |
| WP_III-2x2.pdf | 24-Aug-2012 12:10 | 133K | |
| WP_III.pdf | 24-Aug-2012 12:10 | 128K | |
| Z_I-2x2.pdf | 27-Aug-2012 12:38 | 154K | |
| Z_I.pdf | 27-Aug-2012 12:17 | 124K | |
| Z_II-2x2.pdf | 29-Aug-2012 18:29 | 153K | |
| Z_II.pdf | 29-Aug-2012 18:28 | 129K | |
| Z_III-2x2.pdf | 18-Sep-2012 14:50 | 163K | |
| Z_III.pdf | 18-Sep-2012 14:48 | 131K | |
| Z_IV-2x2.pdf | 03-Sep-2012 14:54 | 166K | |
| Z_IV.pdf | 03-Sep-2012 14:54 | 135K | |
| examples.hs | 02-Aug-2012 21:10 | 1.3K | |