![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| pictures/ | 1995-07-31 15:22 | - | |
| telephonenet.aux | 1995-10-09 13:00 | 8 | |
| missfont.log | 1996-03-13 14:54 | 102 | |
| handin.tex | 1995-08-28 12:47 | 542 | |
| induction.aux | 1995-09-26 23:39 | 569 | |
| math.tex | 1995-08-28 12:47 | 649 | |
| equational.aux | 1995-09-10 21:56 | 770 | |
| sm-basics.aux | 1995-09-18 12:21 | 1.7K | |
| handout.tex | 1995-08-28 12:47 | 1.8K | |
| telephonenet.tex | 1995-09-26 23:35 | 3.0K | |
| days.tex | 1995-08-15 19:16 | 5.2K | |
| fuzz.sty | 1995-08-28 12:47 | 5.7K | |
| telephonenet.dvi | 1995-10-09 13:00 | 6.0K | |
| induction.tex | 1995-09-26 23:38 | 6.1K | |
| days.dvi | 1995-08-15 19:26 | 7.5K | |
| proof.tex | 1995-09-02 14:38 | 7.8K | |
| shared-memory.tex | 1995-10-27 12:24 | 8.6K | |
| induction.dvi | 1995-09-26 23:39 | 9.4K | |
| sm-equiv.tex | 1995-08-15 19:16 | 9.4K | |
| proof.dvi | 1995-09-02 14:38 | 9.9K | |
| sm-equiv.dvi | 1995-08-15 19:26 | 12K | |
| sets.tex | 1995-10-09 10:11 | 12K | |
| equational.tex | 1995-09-10 21:56 | 12K | |
| shared-memory.dvi | 1995-10-27 12:24 | 12K | |
| sets.dvi | 1995-10-09 10:11 | 14K | |
| concurrency.tex | 1995-10-25 13:49 | 15K | |
| equational.dvi | 1995-09-10 21:56 | 15K | |
| 1_course_info_(1.2_8_15) | 1995-08-28 14:28 | 17K | |
| sm-sat.tex | 1995-10-08 11:20 | 19K | |
| concurrency.dvi | 1995-10-25 13:49 | 19K | |
| 1_course_info_(1.3_8_18) | 1995-08-28 14:28 | 19K | |
| 1_course_info_(1.3_8_18).bin | 1995-08-18 13:07 | 19K | |
| sm-reason.tex | 1995-08-15 19:16 | 22K | |
| sm-sat.dvi | 1995-10-08 11:20 | 23K | |
| sm-basics.tex | 1995-09-18 12:21 | 25K | |
| 1_course_info_(RTF_8-21).txt | 1995-08-28 14:29 | 25K | |
| 1_course_info_(1.4_rtf_8_24).txt | 1995-08-28 14:28 | 25K | |
| sm-variation.tex | 1995-08-15 19:16 | 26K | |
| sm-reason.dvi | 1995-08-15 19:26 | 27K | |
| sm-basics.dvi | 1995-09-18 12:21 | 31K | |
| sm-variation.dvi | 1995-08-15 19:26 | 31K | |
| telephonenet.ps | 1995-10-09 13:00 | 36K | |
| induction.ps | 1995-10-09 13:00 | 52K | |
| proof.ps | 1995-09-02 14:38 | 57K | |
| equational.ps | 1995-09-10 21:56 | 67K | |
| sm-equiv.ps | 1995-08-15 19:16 | 72K | |
| shared-memory.ps | 1995-10-27 12:24 | 79K | |
| days.ps | 1995-08-15 19:16 | 90K | |
| sets.ps | 1995-10-09 10:11 | 102K | |
| concurrency.ps | 1995-10-25 13:49 | 104K | |
| sm-reason.ps | 1995-08-15 19:16 | 115K | |
| sm-sat.ps | 1995-10-08 11:20 | 117K | |
| sm-basics.ps | 1995-09-18 12:21 | 159K | |
| sm-variation.ps | 1995-08-15 19:16 | 192K | |