perm filename 206LSP.DIR[206,LSP]7 blob
sn#346365 filedate 1978-04-02 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00011 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00003 00002 12-OCT-77 2157
C00008 00003 Class organization files.
C00013 00004 Problem, exam and project files.
C00022 00005 Files containing old versions of "Recursive Programming in LISP" or fragments thereof.
C00029 00006 Files relevant to current version of "Recursive Programming in LISP" (F77)
C00036 00007 Function files
C00052 00008 LCOMn files.
C00057 00009 Files related to the BB program.
C00061 00010 Font and pub files from NXL.
C00067 00011 Miscellaneous files. Not particularly course related.
C00079 ENDMK
C⊗;
12-OCT-77 2157
Files for CS 206
[206,LSP]
TOTAL= 337.9
[206,JMC]
TOTAL= 118.4
<C.CS206>
at LOTS
206LSP DIR 206LSP 9.5 15-NOV-77 2010 005 1CLT E 29-NOV-77 13-DEC-77 P1025>
LOTDIR F77 206LSP 512 16-DEC-77 1657 005 1CLT E 16-DEC-77 27-DEC-77 P1036
Whats at LOTS as of end of F77 term.
Class organization files.
TEACH 206JMC 128 15-FEB-71 1742 000 28-AUG-76 06-JUL-75 P536>
Teaching note for cs206. What should be done.
TASKS 206JMC 128 05-JAN-71 0100 000 28-AUG-76 06-JUL-75 P536>
PREPARATORY TASKS FOR CS206
III 206JMC 128 15-OCT-71 1657 000 28-MAY-74 06-JUL-75 P536>
Handout header F71.
POOPA 206JMC 3.3 05-JAN-71 0100 000 02-JUL-77 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1970
INSTRUCTIONS FOR PREPARING AND RUNNING RLISP PROGRAMS
POOP 206JMC 3.3 05-JAN-71 0100 000 02-JUL-77 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1970
INSTRUCTIONS FOR PREPARING AND RUNNING RLISP PROGRAMS
HAND1 206JMC 512 05-JAN-71 0100 000 26-FEB-75 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1970
ORGANIZATION OF THE COURSE
OUTLIN 206JMC 640 05-JAN-71 0101 000 05-JAN-71 06-JUL-75 P536>
COMPUTER SCIENCE 206 FALL 1970
INTRODUCTION TO COMPUTATION WITH SYMBOLIC EXPRESSIONS
course outline
HAND 73 206JMC 640 22-SEP-73 1747 000 ESSJMC TV 26-FEB-75 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1973
ORGANIZATION OF THE COURSE
ITN 206LSP 1.8 30-OCT-73 0258 000 206NXL TECO 13-OCT-76 23-OCT-76 P783>
Handout describing use of IMSSS.
HAND 206LSP 640 26-SEP-74 0032 000 2NXL E 24-FEB-77 23-OCT-76 P783>
Introductory handout for cs206, F74.
INFO 206LSP 512 03-OCT-74 0259 000 2NXL E 04-FEB-77 23-OCT-76 P783>
Handout of miscellaneous info F74 (mainly about CAI LISP and using IMSSS)
INFO1 206LSP 1.1 16-OCT-76 1704 005 206LSP COPY 04-FEB-77 30-OCT-76 P787>
Factsheet for F76.
FACT F77 206LSP 2.5 22-SEP-77 2246 005 1CLT E 01-NOV-77 31-OCT-77 P1001>
Fact sheet for F77. Includes reading list.
LSPMAN F77 206LSP 12.3 27-SEP-77 2005 005 1CLT E 14-OCT-77 10-OCT-77 P988>
Title, Contents, Intro, I/O, and Editor sections of LISP @ LOTS.
All but Contents and Intro are hidden from PUB.
LOTS F77 206LSP 640 04-DEC-77 0801 000 MUSCLT E 16-DEC-77 27-DEC-77 P1036>
How to LCOMs and TICTAC/GAME at LOTS
Class lists.
STUD 206JMC 768 30-SEP-71 1619 000 30-SEP-71 06-JUL-75 P536>
Class list
CL 206LSP 512 13-DEC-74 2206 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Class list F74.
CLASS F77 206LSP 640 05-DEC-77 1342 000 1CLT E 16-DEC-77 19-DEC-77 P1031>
Class records F77.
Problem, exam and project files.
Problem files.
HOMSOL 206LSP 432 05-DEC-74 0348 000 206NXL IL 13-OCT-76 23-OCT-76 P783>
(DEFPROP HS (NIL ALT ODDS ODDS1 ENTER COMMONTAIL COMMONR RCYCLE LCYCLE
PERMUT PERMUT1 PERMUT2 REV1 CONN COMP MERGCOMPS MERGCOMP UNION) VALUE)
HW3 SOL 206LSP 896 07-DEC-76 0000 000 KNO CG E 24-FEB-77 18-DEC-76 P818>
Solutions to HW3 F76.
A test functon for the BB program. Delete
PROBS1 ANS 206LSP ?.? 23-SEP-77 1007 000 202LSP COPY 17-JUN-77 25-JUN-77 P928>
Problem set 1 S77. A set of machine readable answers.
PROBS2 206JMC 1.0 28-APR-77 1007 000 TMPPAM E 17-JUN-77 25-JUN-77 P928>
Problem set 2 S77
PROBS2 ANS 206JMC 1.2 11-MAY-77 1715 000 206PAM E 29-JUL-77 25-JUN-77 P928>
Problem set 2, S77. A set of machine readable answers
PROBS3 ANS 206JMC 1.0 02-JUN-77 1050 000 206PAM E 17-JUN-77 25-JUN-77 P928>
Problem set 3,S77. A proof of the theorem which was the third problem set
PROBS1 F77 206LSP 2.0 01-NOV-77 2315 005 1CLT E 03-NOV-77 14-NOV-77 P1012>
SOLNS1 F77 206LSP 2.8 01-NOV-77 2316 000 1CLT E 01-NOV-77 14-NOV-77 P1012>
Problem set 1. F77 (= #1 of S77).
PROBS2 F77 206LSP 512 01-NOV-77 2316 000 1CLT E 03-NOV-77 14-NOV-77 P1012>
SOLNS2 F77 206LSP 3.8 01-DEC-77 2120 000 206CLT COPY 16-DEC-77 19-DEC-77 P1031>
Problem set 2. F77.
Exam files.
MIDTER 206JMC 896 05-JAN-71 0100 000 17-JUN-77 06-JUL-75 P536>
Midterm F70.
FINL71 206JMC 640 15-DEC-71 1923 000 19-MAY-77 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1971
FINAL EXAMINATION
FINF73 206JMC 640 13-DEC-73 1257 000 1KNM COPY 19-MAY-77 06-JUL-75 P536>
Final exam F73
MIDF73 206JMC 384 15-NOV-73 0947 000 1KNM E 27-JUN-77 06-JUL-75 P536>
Midterm F73
SOLF73 206JMC 128 12-DEC-73 2004 000 206JMC E 05-DEC-74 06-JUL-75 P536>
Solutions to prob1 final F73
MIDF74 206JMC 640 12-NOV-74 0247 000 2NXL E 19-MAY-77 06-JUL-75 P536>
MIDTERM F74
MF74 206LSP 640 12-NOV-74 0207 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Midterm F74
MIDSOL 206LSP 222 20-NOV-74 2318 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
(DEFPROP MIDFNS (NIL GETT POINT ALLPOINT TRANSPOSE POWER) VALUE)
MIDF75 206JMC 512 13-NOV-75 1048 000 ESSJMC E 19-MAY-77 25-NOV-75 P610>
Midterm F75 [=homwrk1 S77]
MIDTRM SOL 206LSP 768 02-NOV-76 0101 000 1 CG E 02-NOV-76 13-NOV-76 P795>
pub file containing midterm solutions for F76?
FINAL F76 F76JMC 640 16-DEC-76 1652 000 2JMC E 13-FEB-78 08-JAN-77 P827>
Final F76
SOLUTI F76 F76JMC 896 23-DEC-76 1307 000 ESSJMC E 13-FEB-78 08-JAN-77 P827>
Solutions to final F76
MIDTER EXP 206JMC 384 03-MAY-77 1554 000 206PAM E 17-JUN-77 25-JUN-77 P928>
Note on midterm problem discussing whether a variable will be evaled.
An explanation of the difficulties with a problem on the midterm
MIDTER ANS 206JMC 1.2 03-MAY-77 1507 000 206PAM E 17-JUN-77 25-JUN-77 P928>
S77. A set of answers to the midterm exam
FINAL ANS 206JMC 1.8 09-JUN-77 1050 000 206PAM E 17-JUN-77 25-JUN-77 P928>
S77 A set of answers for the final exam.
MIDT77 206JMC 512 02-MAY-77 2203 000 206PAM E 17-JUN-77 25-JUN-77 P928>
Midterm S77
MTSOLN F77 206LSP 2.8 15-NOV-77 1959 000 1CLT COPY 16-DEC-77 13-DEC-77 P1025>
Midterm F77 questions and solutions
FINAL F77 206LSP 2.2 16-DEC-77 0542 000 1CLT E 16-DEC-77 27-DEC-77 P1036
Final F77 questions and solutions
[MIDT75 TXT 206CCG]
[MIDT75 ANS 206CCG]
[FINAL 206CCG]
[FINAL ANS 206CCG]
Term project files.
PROBLE 206JMC 640 05-JAN-71 0100 000 19-MAY-77 06-JUL-75 P536>
examples, exercises, exam problems, and projects
PERM EX 206JMC 384 05-JAN-71 0100 000 26-FEB-75 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1970
PROJECT TO FIND THE SUBGROUPS OF A PERMUTATION GROUP.
SIMP PRO 206JMC 384 11-JUL-72 1319 000 ESSJMC 28-MAY-74 06-JUL-75 P536>
Term project description: simplification of algebraic expressions
PROJEC WRU 206JMC 512 20-NOV-73 1012 000 1KNM E 26-FEB-75 06-JUL-75 P536>
Handout on term projects F73
PROJ 206LSP 512 20-NOV-74 2213 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Term project handout F74.
PRJWRU F77 206LSP 2.2 01-NOV-77 2317 000 1CLT E 01-NOV-77 14-NOV-77 P1012>
Handout on term projects F77. (Now on 206LSP)
Miscellaneous problems and solutions.
EXER OLD 206LSP 3.2 28-OCT-74 0316 000 206NXL E 16-OCT-76 30-OCT-76 P787>
Some lisp exercises.
Y 206LSP 384 16-OCT-76 1703 000 206LSP COPY 16-OCT-76 30-OCT-76 P787>
Mystery LISP version of the "y" combinator.
EXER LSP 206LSP 164 16-OCT-76 1705 000 206LSP COPY 22-FEB-77 30-OCT-76 P787>
Lisp version of Y. Possibly solutions to the Exercises in Exer.old?
?EXER 206LSP 640 16-OCT-76 1709 000 206LSP COPY 17-NOV-76 30-OCT-76 P787>
Same as Exer.old Delete one. Combine with solutions
Files containing old versions of "Recursive Programming in LISP" or fragments thereof.
IDEAS 206JMC 256 05-JAN-71 0100 000 28-AUG-76 06-JUL-75 P536>
Ideas for introduction to LISP text.
COMP WRU 206JMC 2.5 05-JAN-71 0101 000 24-APR-76 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1970
ADDITIONAL INFORMATION ABOUT THE THE COMPILER PROBLEM
Contains the core of the current CH4
CH1 1A 206JMC 7.2 05-JAN-71 0100 000 25-APR-77 06-JUL-75 P536>
Chapter 1 of the NOTES with no figures and only variables flagged.
LISPN 206JMC 640 17-AUG-71 2231 000 25-SEP-74 06-JUL-75 P536>
CS126 March 9, 1970
NOTES ON LISP NOTATION Outline of Chapter 1 more or less.
*SYNTAX PUB 206JMC 256 24-NOV-71 2217 000 26-FEB-75 06-JUL-75 P536>
Note on syntax directed simplification of algebraic expressions.
CH4A 206JMC 1.2 04-MAY-72 1524 000 206JMC 04-MAY-72 06-JUL-75 P536>
A very early version of the compiling chapter
UNSOLV 206JMC 256 24-OCT-73 1644 000 ESSJMC E 26-FEB-75 06-JUL-75 P536>
Fragment from Computability chapter. Pub experiment?
CH4 206JMC 3.7 01-NOV-73 0126 000 ESSJMC E 26-APR-77 06-JUL-75 P536>
Early version of Computability chapter.
CH2 206JMC 2.1 02-NOV-73 1553 000 206JMC E 22-JUN-77 06-JUL-75 P536>
First four sections of CH2 bare text.
CH2 1A 206JMC 2.1 05-OCT-73 0204 000 206JMC E 26-APR-77 06-JUL-75 P536>
Chapter 2 $1-4. No pubbing except for %var%.
CH2 5 206JMC 3.9 06-NOV-73 2002 000 206JMC SOS 09-JAN-76 06-JUL-75 P536>
Sections 5 and 6 of CH2.
SAFE1 206JMC 1.3 06-NOV-73 0945 000 206JMC COPY 02-DEC-74 06-JUL-75 P536>
Section 6 of Ch2
CH10 206JMC 111 07-NOV-73 0054 000 206JMC SOS 26-FEB-75 06-JUL-75 P536>
Proposed extensions to game playing discussions.
COMP1 WRU 206JMC 2.0 07-NOV-73 1759 000 206JMC E 25-APR-77 06-JUL-75 P536>
CS 206 COMPUTING WITH SYMBOLIC EXPRESSIONS FALL 1973
ADDITIONAL INFORMATION ABOUT LISP COMPILING
Now in computability chapter.
TASKS 206 206JMC 338 06-DEC-73 0144 000 206JMC SOS 06-DEC-73 06-JUL-75 P536>
Here are some of the things to accomplish during the winter quarter in
order to make progress on the CS206 book.
CH5 206JMC 896 16-DEC-73 0023 000 206JMC E 25-APR-77 06-JUL-75 P536>
Introductory to compiling chapter.
CMPLR TOM 206LSP 3.5 27-OCT-74 1550 000 206NXL DMAN 21-OCT-76 23-OCT-76 P783>
Handout F74 on PDP-10 instructions. Has been subsumed by lspch4
COMPLR PUB 206LSP 8.1 16-FEB-75 2350 000 206NXL E 21-FEB-77 23-OCT-76 P783>
Yet another version of the chapter on compiling.
CH1N2 206LSP 14.2 13-APR-75 2325 000 206NXL E 16-OCT-76 23-OCT-76 P783>
Early version of Chapters 1 and 2.
CH4OLD 206JMC 896 17-SEP-76 1641 000 ESSJMC E 17-SEP-76 04-OCT-76 P771>
This is the first part of chapter 4 from an old version.
CH5G 206LSP 4.7 18-SEP-76 1542 000 ESSJMC E 21-OCT-76 23-OCT-76 P783>
now revised and called ch4.
CH4 206LSP 4.1 17-SEP-76 1650 000 ESSJMC E 16-OCT-76 23-OCT-76 P783>
Original chapter on computibality. EVAL section only. Now subsumed by CH4,5.
TITLE 206LSP 256 16-OCT-76 1702 000 206LSP COPY 16-OCT-76 30-OCT-76 P787>
Title page for notes.
CH3 206LSP 4.8 16-OCT-76 1703 000 206LSP COPY 16-OCT-76 30-OCT-76 P787>
An early version of the Compiling in LIsp chapter.
MEMO PUB 206LSP 512 23-OCT-76 1708 000 206LSP COPY 01-FEB-77 06-NOV-76 P791>
Pub command file used for LSPDOC.
LSPDOC JNK 206LSP 256 02-FEB-77 2308 000 ESSJMC E 02-FEB-77 19-FEB-77 P855>
A pub coment??
LSPDOC XGP 206LSP 40.3 23-MAR-77 2250 000 JPAT PUB2 20-JUN-77 10-APR-77 P882>
Xgp version of lspdoc. S77 version of notes.
LSPDOC 206LSP 29.5 23-MAR-77 2246 000 JPAT E 18-JUL-77 10-APR-77 P882>
Course notes for s77.
LSPDOC F77 206LSP 71.8 10-FEB-78 1003 005 1CLT COPY 10-FEB-78
LSPP19 F77 206LSP 755 10-FEB-78 1004 000 1CLT COPY 10-FEB-78
Course notes for F77 (LSPP19 is a correction to p19)
Files relevant to current version of "Recursive Programming in LISP" (F77)
27-SEP-77 0011
FILNAM EXT PPN SIZE WRITTEN TIME PRO WRITER REFERENCED DUMPED OFF
LSPCMT LSPCLT 3.2 19-SEP-77 1258 005 1CLT E 19-SEP-77 21-SEP-77 T28
Comments on content, and correspondence.
LSPCLT DIR LSPCLT 27-SEP-77 LSPCLT E
Annotated directory for files related to Recursive Programming in LISP.
LSP PUB LSPCLT 1.7 23-SEP-77 0154 005 1CLT E 26-SEP-77 26-SEP-77 T1
The pub macros for LSP pubbing conventions.
Read the introductory page of the file before running.
LSPEXP PUB LSPCLT 1.1 22-SEP-77 0234 005 1CLT E 22-SEP-77 26-SEP-77 T1
LSPEXP XGP LSPCLT 464 22-SEP-77 0229 005 1CLT PUB2 22-SEP-77 26-SEP-77 T1
Experiment files for LSP documents.
LSPCH1 PUB LSPCLT 11.0 21-SEP-77 0059 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPCH1 XGP LSPCLT 13.8 07-SEP-77 0104 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
The text for chapter 1: Introduction to LISP.
LSPCH2 PUB LSPCLT 6.0 16-SEP-77 1527 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPCH2 XGP LSPCLT 7.6 08-SEP-77 0221 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
The text for chapter 2: How to Write Recursive Function Definitions.
LSPCH3 PUB LSPCLT 15.1 18-SEP-77 2337 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPCH3 XGP LSPCLT 18.9 16-SEP-77 0236 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
The text for chapter 3: Proving LISP Programs Correct.
LSPCH4 PUB LSPCLT 9.5 19-SEP-77 2207 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPCH4 XGP LSPCLT 11.3 16-SEP-77 0109 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
The text for chapter 4: Interpreting and Compiling in LISP.
LSPCH5 PUB LSPCLT 3.3 16-SEP-77 1547 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPCH5 XGP LSPCLT 2.8 15-SEP-77 0559 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
The text for chapter 5: Computability.
LSPBIB PUB LSPCLT 640 16-SEP-77 1702 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPBIB XGP LSPCLT 384 16-SEP-77 0303 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
An annotated bibliography.
LSPAP1 PUB LSPCLT 1.7 19-SEP-77 0205 005 1CLT E 22-SEP-77 21-SEP-77 T28
LSPAP1 XGP LSPCLT 1.5 16-SEP-77 2018 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
Micro-manual for LISP.
LSPAP2 PUB LSPCLT 11.1 16-SEP-77 1829 005 1CLT E 21-SEP-77 21-SEP-77 T28
Introduction to FOL.
FOL proof of the Samefringe theorem.
LSPAP3 PUB LSPCLT 3.1 19-SEP-77 0206 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPAP3 XGP LSPCLT 3.4 16-SEP-77 2026 005 1CLT PUB2 19-SEP-77 21-SEP-77 T28
MACLISP listings of LCOM0 and LCOM4
LSPP19 PUB LSPCLT 768 21-SEP-77 0108 000 1CLT E 21-SEP-77 21-SEP-77 T28
LSPP19 XGP LSPCLT 755 21-SEP-77 0122 000 1CLT PUB2 26-SEP-77 21-SEP-77 T28
Fix for page 19 of lspdoc.xgp. Can be deleted as soon as lspdoc is repubbed
LSPDOC PUB LSPCLT 512 19-SEP-77 0206 005 1CLT E 21-SEP-77 21-SEP-77 T28
LSPDOC XGP LSPCLT 71.8 21-SEP-77 0051 005 1CLT PUB2 26-SEP-77 21-SEP-77 T28
Assembled version. Pages numbers all on right. (Page 19 needs to be
spooled separately.)
TOTAL= 204.4
Function files
PERMUT RLS 206JMC 128 05-JAN-71 0035 000 03-MAY-75 06-JUL-75 P536>
Rlisp listing of perm fn PERMUT
FUNS MLS 206JMC 256 05-JAN-71 0100 000 29-MAY-74 06-JUL-75 P536>
Mlisp listing of functions: * reverse ∪ ε adjoin ∩ inst sublis.
CARTES RLS 206JMC 128 05-JAN-71 0100 000 28-MAY-74 06-JUL-75 P536>
COMMENT CARTESIAN PRODUCT FUNCTION AND SATELLITES;
PERMU2 RLS 206JMC 128 15-FEB-71 1741 000 15-FEB-71 06-JUL-75 P536>
Another Rlisp version of the permutation called PERMUT
INST LSP 206JMC 256 05-JAN-71 0100 000 29-JAN-77 06-JUL-75 P536>
LISP1.6 version of INST SUBLIS
MATCH RLS 206JMC 256 05-JAN-71 0100 000 22-MAY-74 06-JUL-75 P536>
Rlisp versions of MATCHA ISVAR SUBLIS
TIMER LSP 206JMC 128 05-JAN-71 0100 000 29-JAN-77 06-JUL-75 P536>
(DEFPROP ALLFNS (NIL FLUB GLUB) VALUE)
SYMFUN RLS 206JMC 512 15-JAN-71 0217 000 15-JAN-71 06-JUL-75 P536>
COMMENT MUL(U,V) GIVES THE PRODUCT OF THE SYMMETRIC MONOMIALS U AND V.
ECHO FAI 206JMC 128 05-JAN-71 0100 000 05-JAN-71 06-JUL-75 P536>
TITLE ECHO
MKMAP RLS 206JMC 128 05-JAN-71 0100 000 26-FEB-75 06-JUL-75 P536>
MKMAPLIS(FN,VAR,EXP) ← RPLACD(FN,'EXPR.
REVA 206JMC 256 05-JAN-71 0101 000 05-MAR-76 06-JUL-75 P536>
Functions ALT REV SUBA ASSS EQU FLAT GLUB SUBB
SORT LSP 206JMC 384 29-JAN-77 2156 000 ESSJMC E 25-APR-77 12-FEB-77 P849>
Maclisp functions MERGE SORT SORT1 SORT11 SORT111 SORT112 SORT2 SORT21
LIB RLS 206JMC 256 05-JAN-71 0101 000 05-JAN-71 06-JUL-75 P536>
RLISP functions inst and sublis.
EX3 206JMC 384 17-AUG-71 2225 000 19-MAY-77 06-JUL-75 P536>
DEPTHFIRST DEPTHFIRST2 DEPTHFIRST3 BREADTHFIRST BREADTHACROSS BACKUP
DIFF LSP 206JMC 512 17-AUG-71 2229 000 29-JAN-77 06-JUL-75 P536>
(DEFPROP DIFF (NIL DIFFA DIFF DPLUS SIMP SIMP1 SPLUS STIMES) VALUE)
TES1 MLS 206JMC 128 18-SEP-71 2112 000 22-OCT-74 06-JUL-75 P536>
TES1 RLS 206JMC 128 18-SEP-71 2123 000 22-OCT-74 06-JUL-75 P536>
Code to test the READ function
TTY 206JMC 53 05-AUG-73 1856 000 ESSJMC RLISP 26-FEB-75 06-JUL-75 P536>
Output from something
OUT2 206JMC 151 06-AUG-73 0310 000 ESSJMC RLISP 06-AUG-73 06-JUL-75 P536>
Output from some unknown source
OUTPUT 206JMC 156 06-AUG-73 0032 000 206JMC FOO 06-AUG-73 06-JUL-75 P536>
Same as OUT2 above
SOLIT WRU 206JMC 557 07-AUG-73 2158 000 206JMC SOS 15-NOV-74 06-JUL-75 P536>
Write up for problem of playing sequence solitaire.
SORT RLS 206JMC 256 10-AUG-73 1904 000 206JMC E 10-AUG-73 06-JUL-75 P536>
Rlisp functions MERGE SORT SORTA SORTB SORTC
SHUFF2 RLS 206JMC 384 10-AUG-73 1805 000 206JMC TV 10-AUG-73 06-JUL-75 P536>
Functions to Shuffle a deck and Deck descriptions
SORTIT RLS 206JMC 512 11-AUG-73 0100 000 206JMC TV 11-AUG-73 06-JUL-75 P536>
MERGE and SORT functions (same as in SOLIT?)
SOLIT RLS 206JMC 1.1 13-AUG-73 0111 000 206JMC TV 15-NOV-74 06-JUL-75 P536>
RLISP functions MERGE SORT START CYCLE COPY CYCLE1 SHUFFLE PRINTPOS
CARR SF HS HF BACK LEGAL FMOVES POTZ POTZ2 PLAY REMOVE
OBVI RLS 206JMC 423 14-AUG-73 0343 000 206JMC SOS 15-NOV-74 06-JUL-75 P536>
Functions COUNT ELIMALL ELIMDUP ZORCH ZILCH OBVIOUS
GRAPH LSP 206JMC 128 03-NOV-73 0055 000 206JMC E 29-JAN-77 06-JUL-75 P536>
(SETQ GRAPHFNS @(LOSE TER SUCCESSORS))
BASIC OLD 206JMC 256 02-NOV-73 1447 000 206JMC E 29-MAY-74 06-JUL-75 P536>
SUBLIS ORLIS ANDLIS MAPCAR2 MAPCHOOSE NTH
SEARCH LSP 206JMC 256 03-NOV-73 0253 000 206JMC E 30-JAN-77 06-JUL-75 P536>
(SETQ SEARCHFNS @(SEARCH SEARCHLIS ALLSOL1 ALLSOL ALLSOLA ALLSOLB))
INSAN2 LSP 206JMC 128 06-NOV-73 1524 000 206JMC E 30-JAN-77 06-JUL-75 P536>
POO ZAP PUZZA TER POS SUCCESSORS
INSAN3 LSP 206JMC 318 07-NOV-73 0058 000 206JMC ILISP 29-JAN-77 06-JUL-75 P536>
TICTA1 LSP 206JMC 768 16-NOV-73 0122 000 206JMC E 29-JAN-77 06-JUL-75 P536>
(DEFPROP TICTACFNS (TRY2 NEWGAME TER IMVAL SUCCESSORS REVERT UPDATE PTS
LINES SORT SORTA SORTB SORTC WIN ANSWER DOUBLETH THREAT) VALUE)
(DEFPROP INSAN3FNS (INSAN3FNS PUZZA POO ZAP LOSE TER SUCCESSORS)VALUE)
GAME OLD 206JMC 384 02-DEC-73 0100 000 206JMC E 19-JUN-74 06-JUL-75 P536>
(DEFPROP GAMEFNS (GAMEFNS VALMAX VALMAXLIS VALMIN VALMINLIS RECTIFY
COMMONTAIL COMMONHEAD) VALUE)
GTREE LST 206JMC 336 02-DEC-73 0207 000 206JMC ILISP 23-OCT-75 06-JUL-75 P536>
(DEFPROP PRFFNS (PRFFNS PRFMAX PRFMIN RECTIFY COMMONTAIL COMMONHEAD)VALUE)
LINE LSP 206JMC 215 04-DEC-73 0202 000 206JMC SOS 29-JAN-77 06-JUL-75 P536>
LINEMAX and LINEMIN
TICTAC LSP 206JMC 938 04-DEC-73 0009 000 206JMC ILISP 29-JAN-77 06-JUL-75 P536>
(DEFPROP TICTACFNS (TRY2 COMMENCE EXT NEWGAME TER IMVAL SUCCESSORS REVERT
UPDATE PTS LINES SORT SORTA SORTB SORTC WIN ANSWER DOUBLETH TWOLIS
THREAT) VALUE)
GAME LSP 206JMC 774 04-DEC-73 0106 000 206JMC FOO 29-JAN-77 06-JUL-75 P536>
(DEFPROP GAMEFNS (GAMEFNS VALMAX VALMIN LINEMAX LINEMIN TREEMAX TREEMIN
RECTIFY COMMONTAIL COMMONHEAD) VALUE)
TIC3D DAT 206JMC 640 06-DEC-73 2219 000 206JMC E 14-MAR-76 06-JUL-75 P536>
(DEFPROP COMMENCEVALS (COMMENCEVALS LINELIST POINTLIST) VALUE)
BASIC LSP 206JMC 362 05-DEC-73 0109 000 206JMC ILISP 30-JAN-77 06-JUL-75 P536>
(DEFPROP BASICFNS (BASICFNS ORLIS ANDLIS MAPCAR2 MAPCHOOSE MAPAPP PRUP
LISTSUBT LISTSUBTA CONTAINED DELETE PICKOUT PICKOUTA) VALUE)
TIC3D LSP 206JMC 1.7 12-DEC-73 0048 000 206JMC E 29-JAN-77 06-JUL-75 P536>
(DEFPROP TICTACFNS (TRY2 MAKEL COMMENCE SQ EXT NEWGAME TER IMVAL SUCCESSORS
REVERT UPDATE PTS LINES SORT SORTA SORTB SORTC WIN ANSWER
DOUBLETH TWOLIS THREAT) VALUE)
TICTA2 LSP 206JMC 1.2 18-NOV-73 1850 000 206JMC SOS 29-JAN-77 06-JUL-75 P536>
(DEFPROP TICTACFNS (TRY2 COMMENCE NEWGAME TER IMVAL SUCCESSORS REVERT UPDATE
PTS LINES SORT SORTA SORTBSORTC WIN ANSWER DOUBLETH TWOLIS THREAT)VALUE)
TICSUP LSP 206JMC 256 15-DEC-73 2351 000 206JMC E 29-JAN-77 06-JUL-75 P536>
Incomplete supervisor for TICTAC
Functions PX PO PLAY MAKE UNDO?
RFLE 206LSP 137 05-MAR-74 0249 000 206NXL ILISP 13-OCT-76 23-OCT-76 P783>
(DEFPROP FEDF (FEDF READFILELINE FED) VALUE)
VECC 206LSP 224 21-MAR-74 0458 000 206NXL IL 13-OCT-76 23-OCT-76 P783>
(DEFPROP VECF (VECF PRNUM VECCOD DOOUT TEST TEXLIN VEC) VALUE)
Some sort of printing function.
GAME WRU 206JMC 512 25-MAY-74 1626 000 ESSJMC E 03-MAY-75 06-JUL-75 P536>
discussion of game playing functions valmin/max,linemin/max, treemin/max,
and rectify.
REF 206LSP 301 28-JUL-74 1305 000 2NXL COPY 13-OCT-76 23-OCT-76 P783>
A subset of REFU
(DEFPROP REFL
(REFL LREF DIFFER ALL REST LISTREF UUUU VVVV LISTREFA
LISTVAL AAAA LISTDEF IMPORT UNIMPORTANT) VALUE)
RF3 206LSP 256 28-JUL-74 1323 000 2NXL E 13-OCT-76 23-OCT-76 P783>
(DEFPROP RFL (RFL READTO MATCH FINDANCH RFONTPAIR RFONTFILE DOIN MAKFILE) VALUE)
NEVAL 206LSP 308 18-OCT-74 1737 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
(DEFPROP NEVL (NEVL NEVAL NEVCON PRUP TEST TEST2) VALUE)
NEVAL TRC 206LSP 265 18-OCT-74 1758 000 2NXL PTYJOB 13-OCT-76 23-OCT-76 P783>
A trace of Neval run on some test expression.
WORDIN 206LSP 62 25-OCT-74 1815 000 206NXL ILY 13-OCT-76 23-OCT-76 P783>
Some input functions
(DEFPROP WORDI (NIL INW INT CLOSE) VALUE)
?NEVAL2 206LSP 291 29-OCT-74 0206 000 206NXL ILY 13-OCT-76 23-OCT-76 P783>
Compare with NEVAL
(DEFPROP NEVL (NEVL NEVAL NEVCON PRUP TEST TEST2) VALUE)
MODCH 206LSP 56 16-NOV-74 1828 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
Character modifying functions:
TICTAC TOE 206LSP 2.3 20-NOV-74 2235 000 2NXL E 14-MAR-77 23-OCT-76 P783>
File contains game playing and gametree searching functions (as in CH2)
FNIN 206LSP 90 20-NOV-74 2315 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
Some sort of input function
GAMEXX 206LSP 99 26-NOV-74 0404 000 206NXL IL 13-OCT-76 23-OCT-76 P783>
(DEFPROP GAMEXX (NIL VMX LMX TMX) VALUE)
Uses LINEMIN/MAX, TREEMIN/MAX, RECTIFY.
REFU 206LSP 394 26-NOV-74 0020 000 206NXL IL 13-OCT-76 23-OCT-76 P783>
Contains the following functons:
(DEFPROP REFL (REFL LREF DIFFER ALL REST LISTREF UUUU VVVV LISTREFA
LISTVAL AAAA LISTDEF IMPORT UNIMPORTANT NODEF ORLIS UNDEF) VALUE)
GAMES 206LSP 5.3 03-DEC-74 0256 000 206NXL E 24-FEB-77 23-OCT-76 P783>
External and internal versions of the functions on TICTAC.TOE plus some
examples of their use. Extract useful info and combine all data on games.
COMPAR 206LSP 298 31-JAN-75 0018 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
Functions for comparing S-expressions:
(DEFPROP COMPFCNS (NIL COMPARE PLEVEL COMP2) VALUE)
(DEFPROP MODCH (NIL SETBITS CLEARBITS M) VALUE)
EFNS LAP 206LSP 1.9 02-FEB-75 2229 000 2NXL IC 13-OCT-76 23-OCT-76 P783>
Contains LAP code for the following (editing) functions:
(DEFPROP EFNS (NIL ADDNAMES CE CF COPYF DELNAMES DESTROY DLEXINSERT
DLEXINSERT1 DROP MERGE PAIRMERGE RENAMEF SAVE SETNL SORT SORT1) VALUE)
GOAL 206LSP 346 13-FEB-75 0142 000 2NXL T0 13-OCT-76 23-OCT-76 P783>
An alist named GOAL. Has to do with unification.
BODY 206LSP 52 13-FEB-75 0154 000 2NXL T0 13-OCT-76 23-OCT-76 P783>
Body property of "unify". Probably Maclisp. Probably connected with GOAL.
TRANS1 LSP 206JMC 309 25-NOV-75 1016 000 ESSJMC COPY 29-JAN-77 09-DEC-75 P617>
Contains LISP1.6 functions TRANSFORM TRANSA TRANSB SIDE POOF PRLIS
and SETQ's for R1 R2 R3.
TRANS2 LSP 206JMC 261 25-NOV-75 1015 000 ESSJMC COPY 29-JAN-77 09-DEC-75 P617>
Transforming functions. Second version.
LCOMn files.
Files having to do with LCOMn.
LCOM0 RLS 206JMC 768 01-FEB-76 2141 000 ESSJMC E 05-JUN-77 17-FEB-76 P653>
Rlisp version of LCOM0
LCOM4 RLS 206JMC 1.7 06-MAY-72 2351 000 206JMC 03-AUG-74 06-JUL-75 P536>
Rlisp version of LCOM4
LCOM5 RLS 206JMC 256 05-JAN-71 0101 000 20-JUL-74 06-JUL-75 P536>
OCOMPEXP OCOMCOND fragments
LCOM7 RLS 206JMC 1.7 06-MAY-72 2357 000 206JMC 05-JUN-77 06-JUL-75 P536>
LCOM4 with GENSYM1 instead of GENSYM
GENSYM1() ← LIST('LABEL,GENSYM());
LC0 206LSP 515 05-NOV-73 0952 000 206NXL TECO 24-JUN-77 23-OCT-76 P783>
An external form version of LCOM0.
LC0G 206LSP 809 08-NOV-73 1756 000 206NXL SOS 13-OCT-76 23-OCT-76 P783>
Mystery version of LCOM0 (see LC4G).
LC4 206LSP 1.0 05-NOV-73 1008 000 206NXL TECO 04-FEB-77 23-OCT-76 P783>
External version of LCOM4
LC4G 206LSP 1.6 08-NOV-73 1723 000 206NXL SOS 13-OCT-76 23-OCT-76 P783>
Lcom4 in mystery notation. MLISP?
LC4 BB 206LSP 2.5 23-MAR-77 2156 000 JPAT E 24-JUN-77 10-APR-77 P882>
LC0 BB 206LSP 1.2 01-FEB-77 0601 000 SLES E 24-JUN-77 12-FEB-77 P850>
BB output for LC0, LC4
LC4NL 206LSP 1.6 11-APR-74 0119 000 206NXL IL 13-OCT-76 23-OCT-76 P783>
LCOM4. Compare to above.
Current working versions of LCOMs.
LCOM0 206LSP 1.0 13-SEP-77 1126 000 1CLT E 20-OCT-77 03-OCT-77 P983>
Lisp1.6 version of LCOM0
LCOM4 206LSP 2.0 13-SEP-77 1153 000 1CLT E 20-OCT-77 03-OCT-77 P983>
Lisp1.6 version of LCOM4.
LCOM0 MCL 206LSP 1.0 20-OCT-77 1748 005 1CLT E 15-DEC-77 31-OCT-77 P1001>
MACLISP version of LCOM0.
LCOM4 MCL 206LSP 2.1 23-NOV-77 2328 005 1CLT E 15-DEC-77 13-DEC-77 P1025>
MACLISP version of LCOM4.
Files related to the BB program.
BB DOC 206LSP 1.1 06-DEC-76 2355 000 ESSJMC E 28-JUN-77 18-DEC-76 P818>
Documentation for BB program. Eg how to use it.
BB LAP 206LSP 14.7 04-SEP-75 1642 000 206NXL IC 13-OCT-76 23-OCT-76 P783>
Lap file for BB program.
BB LSP 206LSP 4.8 02-FEB-77 1049 000 1PMF E 29-JUN-77 19-FEB-77 P855>
LISP1.6 version of BB program
BBPP 206LSP 256 07-DEC-76 0041 000 KNO CG E 24-JUN-77 18-DEC-76 P818>
Contains initializing commands for the program BB.
?BASIN 206LSP 263 28-JUL-74 1404 000 2NXL IL 13-OCT-76 23-OCT-76 P783>
An alist named BASI30 associating numbers from 1 to 176 with numbers between
1 and ~24. May relate to TICTAC.TOE or to font hacking.
?BDR3 206LSP 270 03-FEB-74 2326 000 206NXL ILISP 13-OCT-76 23-OCT-76 P783>
An alist with name BDR30. Similar to BASIN. Must have to do with fonts.
?BASB 206LSP 190 03-FEB-74 2328 000 206NXL ILISP 13-OCT-76 23-OCT-76 P783>
An alist with name BASB. Font hacking. Connected with BB?
?TL2 206LSP 4.9 13-FEB-75 0245 000 2NXL TLA 13-OCT-76 23-OCT-76 P783>
Listing of BB program probably output by LISP1.6 as it has "→" 's.
?BB18 206LSP 5.2 24-OCT-74 0316 000 206NXL ILX 13-OCT-76 23-OCT-76 P783>
Yet another listing of BB. Compare to above.
BB18 LAP 206LSP 13.5 24-OCT-74 0338 000 206NXL ICOMPL 13-OCT-76 23-OCT-76 P783>
LAP code for BB18.
?BB OLD 206LSP 4.8 09-DEC-76 0100 000 KNO CG COPY 24-JUN-77 31-DEC-76 P822>
LISP version of some version of BB. Compare to others.
?BBPP DMP 206LSP 27.9 09-DEC-76 0103 000 ESSJMC BBPP 24-JUN-77 31-DEC-76 P822>
Core image of some run of BB by jmc. Delete?
BB DOC 206CLT 2.8 05-OCT-77 2336 005 1CLT E 06-OCT-77 10-OCT-77 P986
BBPP LSP 206CLT 256 30-SEP-77 0241 005 1CLT E 30-SEP-77 10-OCT-77 P986
BBCLT LSP 206LSP 5.0 25-OCT-77 0053 005 1CLT COPY 25-OCT-77 10-NOV-77 P1006>
BBPP MCL 206CLT 128 07-OCT-77 0134 000 1CLT E 07-OCT-77 07-OCT-77 T18
BBCLT MCL 206LSP 5.2 25-OCT-77 0054 005 1CLT COPY 23-NOV-77 10-NOV-77 P1006>
Simplified version of BB program that outputs external version suitable
for inclusion in LSP documents or as comments in loadable files.
*.LSP runs in ILISP, *.MCL in MACLISP.
Font and pub files from NXL.
?FST 206LSP 256 25-JAN-75 0041 000 206NXL E 13-OCT-76 23-OCT-76 P783>
Some sort of PUB macro. Deletable?
?SAM 206LSP 384 21-MAR-74 2243 000 206NXL E 13-OCT-76 23-OCT-76 P783>
XGP file??
?TEST30 FNT 206LSP 1.8 14-MAR-75 2218 000 206NXL FONT 13-OCT-76 23-OCT-76 P783>
XGP file -font test
?PT1 PUB 206LSP 256 24-MAR-75 2341 000 2NXL E 22-JUN-77 23-OCT-76 P783>
seems to be a testfile for PUBMAC. Can be deleted.
?PUBMAC OLD 206LSP 1.0 07-APR-75 0038 000 2NXL E 16-OCT-76 30-OCT-76 P787>
Pubmacros. Can be deleted.
?GRSAM 206LSP 8 06-APR-75 2100 000 2NXL COPY 13-OCT-76 23-OCT-76 P783>
Like SAM but with GRK fonts. Delete?
?TESFFF FNT 206LSP 1.6 14-MAR-75 2235 000 206NXL FONT 13-OCT-76 23-OCT-76 P783>
Another XGP file presumably testing some pub feature.
?GRF 206LSP 256 16-FEB-75 2308 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Testing graphics font and pubbing diagrams. Delete.
?TESGGG FNT 206LSP 1.6 14-MAR-75 2240 000 206NXL FONT 13-OCT-76 23-OCT-76 P783>
?FOOF FNT 206LSP 276 17-FEB-75 1643 000 2NXL EDFONT 13-OCT-76 23-OCT-76 P783>
Another XGP file. Delete?
?NEWT PUB 206LSP 256 07-APR-75 0042 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Figure of some sort. Pub test? Delete?
?PUBT PUB 206LSP 896 13-APR-75 2325 000 206NXL E 13-OCT-76 23-OCT-76 P783>
Pub test of figure. Delete?
?XSW 206LSP 13 04-FEB-74 0042 000 206NXL TECO 13-OCT-76 23-OCT-76 P783>
XGP file? Delete?
?FT PUB 206LSP 256 20-FEB-75 0022 000 2NXL E 13-OCT-76 23-OCT-76 P783>
Testing fontfile FFF. Delete?
?SETUP2 206LSP 384 08-FEB-75 2316 000 2NXL E 13-OCT-76 23-OCT-76 P783>
pub command for seting fonts, and initializing pub. Delete?
?FONTS PUB 206LSP 384 10-APR-74 2355 000 206NXL E 22-JUN-77 23-OCT-76 P783>
Font commands for pub (old conventions). Delete.
?GR3 FNT 206LSP 302 21-FEB-75 0211 000 206NXL COMBIN 13-OCT-76 23-OCT-76 P783>
Fontfile? Delete?
GRF FNT 206LSP 318 20-FEB-75 0038 000 2NXL FONT 13-OCT-76 23-OCT-76 P783>
GR2 FNT 206LSP 318 20-FEB-75 2230 000 206NXL FONT 13-OCT-76 23-OCT-76 P783>
Fontfiles?
?BBMAIN 206LSP 128 24-OCT-74 0413 000 206NXL E 13-OCT-76 23-OCT-76 P783>
Pub commands for running TEST file. Delete?
?SETUP 206LSP 384 25-OCT-74 1733 000 206NXL E 13-OCT-76 23-OCT-76 P783>
Initializing pub commands. (Old version.) Delete?
?PTST 206LSP 512 25-OCT-74 1648 000 206NXL E 13-OCT-76 23-OCT-76 P783>
Pubexperiment. Delete?
?GR4 FNT 206LSP 344 22-FEB-75 1250 000 206NXL FONT 13-OCT-76 23-OCT-76 P783>
?GR5 FNT 206LSP 347 22-FEB-75 1325 000 206NXL EDFONT 13-OCT-76 23-OCT-76 P783>
?GR6 FNT 206LSP 355 26-FEB-75 2232 000 206NXL EDFONT 13-OCT-76 23-OCT-76 P783>
Fontfiles?
FTX 206LSP 256 22-FEB-75 1331 000 206NXL E 13-OCT-76 23-OCT-76 P783>
XGP file testing font.
?PUBMAC 206LSP 1.0 16-OCT-76 1710 000 206LSP COPY 30-MAY-77 30-OCT-76 P787>
NXL pub macro file . No longer relevant. Delete?
?LISPUB PUB 206LSP 896 28-OCT-76 1633 000 SLES E 22-JUN-77 13-NOV-76 P795>
Early version of pub init commands. Delete?
Miscellaneous files. Not particularly course related.
LISP INI 206JMC 256 04-FEB-77 1313 000 AIDRPG E 29-JUL-77 19-FEB-77 P853>
EDIT INI 206JMC 512 29-JAN-77 2112 000 ESSJMC COPY 24-JUN-77 12-FEB-77 P849>
LISP INI 206CLT 128 04-OCT-77 2314 000 1CLT COPY 10-OCT-77 10-OCT-77 P986
EDIT INI 206CLT 256 04-OCT-77 2314 000 1CLT COPY 10-OCT-77 10-OCT-77 P986
PERSEP NS 206JMC 830 16-APR-77 2307 000 ESSJMC NS 25-APR-77 01-MAY-77 P894>
PM-Carter-Nuclear, 310
CAMBOD NS 206JMC 865 16-APR-77 2345 000 ESSJMC NS 16-APR-77 01-MAY-77 P894>
AM-Cambodia, Bjt - 2 Takes, 460-700
M DO 206JMC 256 25-APR-77 1344 007 KBTRPG COPY 25-APR-77 10-MAY-77 P899>
Do file. runs mlisp.
NICK MSG 206JMC 619 16-SEP-75 1055 000 ESSJMC RCV 29-MAY-76 28-SEP-75 P578>
Message file from aug 75.
EXX PUB 206JMC 128 23-NOV-71 0014 000 26-FEB-75 06-JUL-75 P536>
.NOFILL SUPERIMPOSE [5] Pub experiment.
S4 PAR 206JMC 37.9 21-JAN-72 0200 000 30-APR-75 06-JUL-75 P536>
Binary file of some sort
NOTE MJH 206JMC 384 07-NOV-73 1515 000 206JMC E 02-DEC-74 06-JUL-75 P536>
Note about picture matching
CSDDIS DOC 206JMC 2.3 14-NOV-73 0128 000 206JMC PUB2 29-MAY-76 06-JUL-75 P536>
↓↓↓ α.A DISPLAY TERMINAL SYSTEM FOR THE COMPUTER SCIENCE DEPARTMENT