-rw-r--r--  1 mccune          0 Jan 24 15:42 temp
-rw-r--r--  1 mccune       3258 Jan 24 15:42 Announce
-rw-r--r--  1 mccune        367 Jan 24 12:07 Changelog
-rw-r--r--  1 mccune       1471 Jan 13 13:15 README
-rw-r--r--  1 mccune       1080 Jan 12 16:07 Disclaimer
-rw-r--r--  1 mccune        122 Jan 12 16:06 Copying

examples:
total 10
-rw-r--r--  1 mccune        978 Jan 24 14:55 README
drwxr-xr-x  2 mccune        512 Jan 23 09:58 procedural/
drwxr-xr-x  2 mccune       1024 Jan 21 11:11 wos/
drwxr-xr-x  2 mccune       1536 Jan 21 10:08 auto/
drwxr-xr-x  2 mccune       1024 Jan 21 09:34 misc/
drwxr-xr-x  2 mccune        512 Jan 21 08:49 kalman/
-rwxr-xr-x  1 mccune       1144 Jan 13 07:52 Run_all*
-rwxr-xr-x  1 mccune        133 Jan 12 15:46 summ_486*

examples/procedural:
total 29
-rw-r--r--  1 mccune       3457 Jan 23 09:57 eval.486
-rw-r--r--  1 mccune       2584 Jan 13 15:10 eval.in
-rw-r--r--  1 mccune       2524 Jan 13 11:31 two_inv.486
-rw-r--r--  1 mccune       2502 Jan 13 11:31 queens.486
-rw-r--r--  1 mccune       2338 Jan 13 11:31 jugs.486
-rw-r--r--  1 mccune       2524 Jan 13 11:31 mission.486
-rw-r--r--  1 mccune       1973 Jan 13 10:02 mission.in
-rw-r--r--  1 mccune       3160 Jan 13 09:55 two_inv.in
-rw-r--r--  1 mccune       1641 Dec  7 17:36 queens.in
-rw-r--r--  1 mccune       1123 Nov 10 10:20 jugs.in

examples/wos:
total 85
-rw-r--r--  1 mccune       3131 Jan 21 11:10 manyval.sparc2
-rw-r--r--  1 mccune      10157 Jan 21 11:08 twoval.sparc2
-rw-r--r--  1 mccune       5037 Jan 21 11:08 rigorous.proof.checking.sparc2
-rw-r--r--  1 mccune       5679 Jan 21 11:08 robbins.occ.sparc2
-rw-r--r--  1 mccune       4306 Jan 21 11:08 groups.exp3.sparc2
-rw-r--r--  1 mccune       8412 Jan 21 11:08 groups.exp4.sparc2
-rw-r--r--  1 mccune       4319 Jan 21 11:08 cursory.proof.checking.sparc2
-rw-r--r--  1 mccune       2347 Jan 21 10:54 README
-rw-r--r--  1 mccune       1824 Jan 21 10:18 manyval.in
-rw-r--r--  1 mccune       9307 Jan 21 09:52 twoval.in
-rw-r--r--  1 mccune       6373 Jan 19 16:12 groups.exp4.in
-rw-r--r--  1 mccune       2875 Jan 19 16:07 robbins.occ.in
-rw-r--r--  1 mccune       6851 Jan 19 16:07 rigorous.proof.checking.in
-rw-r--r--  1 mccune       2095 Jan 19 16:07 groups.exp3.in
-rw-r--r--  1 mccune       5463 Jan 19 16:07 cursory.proof.checking.in

examples/auto:
total 94
-rw-r--r--  1 mccune       3269 Jan 13 09:49 z11.486
-rw-r--r--  1 mccune       3370 Jan 13 09:49 x2_ring.486
-rw-r--r--  1 mccune       2922 Jan 13 09:49 x2_quant.486
-rw-r--r--  1 mccune       3895 Jan 13 09:49 wang1.486
-rw-r--r--  1 mccune       2707 Jan 13 09:49 w_sk.486
-rw-r--r--  1 mccune       2860 Jan 13 09:49 tba_gg.486
-rw-r--r--  1 mccune       4988 Jan 13 09:49 steam.486
-rw-r--r--  1 mccune       3909 Jan 13 09:49 sam.486
-rw-r--r--  1 mccune       5076 Jan 13 09:49 salt.486
-rw-r--r--  1 mccune       2647 Jan 13 09:49 robbins.486
-rw-r--r--  1 mccune       3370 Jan 13 09:49 ring_x2.486
-rw-r--r--  1 mccune       3952 Jan 13 09:49 pigeon.486
-rw-r--r--  1 mccune       2017 Jan 13 09:49 mv25.486
-rw-r--r--  1 mccune       4754 Jan 13 09:49 lifsch.486
-rw-r--r--  1 mccune       2583 Jan 13 09:49 group.486
-rw-r--r--  1 mccune       1793 Jan 13 09:49 ec_yq.486
-rw-r--r--  1 mccune       7640 Jan 13 09:49 bool.486
-rw-r--r--  1 mccune       2906 Jan 13 09:49 comm.486
-rw-r--r--  1 mccune       1907 Jan 13 09:49 cn19.486
-rw-r--r--  1 mccune        426 Jan 13 09:17 robbins.in
-rw-r--r--  1 mccune        350 Jan 13 09:14 ring_x2.in
-rw-r--r--  1 mccune        276 Jan 13 09:14 w_sk.in
-rw-r--r--  1 mccune        301 Jan 13 09:12 x2_quant.in
-rw-r--r--  1 mccune       2249 Jan 13 09:07 steam.in
-rw-r--r--  1 mccune        243 Jan 13 08:59 ec_yq.in
-rw-r--r--  1 mccune        270 Jan 13 08:58 comm.in
-rw-r--r--  1 mccune        854 Jan 12 09:26 pigeon.in
-rw-r--r--  1 mccune        207 Nov 10 10:20 tba_gg.in
-rw-r--r--  1 mccune       1236 Nov 10 10:20 salt.in
-rw-r--r--  1 mccune        588 Nov 10 10:20 wang1.in
-rw-r--r--  1 mccune        334 Nov 10 10:20 x2_ring.in
-rw-r--r--  1 mccune        387 Nov 10 10:20 z11.in
-rw-r--r--  1 mccune       1023 Nov 10 10:20 sam.in
-rw-r--r--  1 mccune        393 Nov 10 10:20 lifsch.in
-rw-r--r--  1 mccune        165 Nov 10 10:20 group.in
-rw-r--r--  1 mccune        473 Nov 10 10:20 mv25.in
-rw-r--r--  1 mccune       1846 Nov 10 10:20 bool.in
-rw-r--r--  1 mccune        432 Nov 10 10:20 cn19.in

examples/misc:
total 82
-rw-r--r--  1 mccune       1977 Jan 14 08:17 sax2.486
-rw-r--r--  1 mccune       1991 Jan 14 08:17 sax1.486
-rw-r--r--  1 mccune        474 Jan 14 07:54 sax1.in
-rw-r--r--  1 mccune        522 Jan 14 07:46 sax2.in
-rw-r--r--  1 mccune       2232 Jan 13 10:41 str_bws.486
-rw-r--r--  1 mccune       2071 Jan 13 10:41 stage2.486
-rw-r--r--  1 mccune       2123 Jan 13 10:41 stage1.486
-rw-r--r--  1 mccune       2251 Jan 13 10:41 mv.486
-rw-r--r--  1 mccune       5265 Jan 13 10:41 kb_bench.486
-rw-r--r--  1 mccune       2186 Jan 13 10:41 gl8.486
-rw-r--r--  1 mccune       3243 Jan 13 10:41 dem_alu.486
-rw-r--r--  1 mccune      25456 Jan 13 10:41 andrews.486
-rw-r--r--  1 mccune       2190 Jan 13 10:41 cn.486
-rw-r--r--  1 mccune       2255 Jan 13 10:41 ec.486
-rw-r--r--  1 mccune       2205 Jan 13 10:41 gl4.486
-rw-r--r--  1 mccune        642 Jan 13 10:39 gl4.in
-rw-r--r--  1 mccune        643 Jan 13 10:39 gl8.in
-rw-r--r--  1 mccune       1047 Jan 13 10:35 cn.in
-rw-r--r--  1 mccune        861 Jan 13 10:07 andrews.in
-rw-r--r--  1 mccune       1824 Nov 16 11:01 dem_alu.in
-rw-r--r--  1 mccune        802 Nov 16 10:58 str_bws.in
-rw-r--r--  1 mccune       2849 Nov 16 10:51 stage2.in
-rw-r--r--  1 mccune       1438 Nov 16 10:46 stage1.in
-rw-r--r--  1 mccune        814 Nov 16 10:44 mv.in
-rw-r--r--  1 mccune        796 Nov 16 10:44 kb_bench.in
-rw-r--r--  1 mccune       1705 Oct 20 15:33 ec.in

examples/kalman:
total 22
-rw-r--r--  1 mccune       2890 Jan 13 08:53 i4.486
-rw-r--r--  1 mccune       2645 Jan 13 08:53 i3.486
-rw-r--r--  1 mccune       1026 Jan 13 08:53 i2.486
-rw-r--r--  1 mccune        978 Jan 13 08:53 i1.486
-rw-r--r--  1 mccune       5281 Dec  7 15:18 i4.in
-rw-r--r--  1 mccune       4989 Dec  7 15:18 i3.in
-rw-r--r--  1 mccune        512 Dec  7 15:18 i2.in
-rw-r--r--  1 mccune        570 Dec  7 15:18 i1.in

source:
total 819
-rw-r--r--  1 mccune      12986 Jan 24 15:05 process.c
-rw-r--r--  1 mccune      22979 Jan 24 11:52 options.c
-rw-r--r--  1 mccune        978 Jan 21 13:08 README.formed
-rw-r--r--  1 mccune         50 Jan 21 11:14 README
-rw-r--r--  1 mccune       5807 Jan 21 08:33 Makefile
-rw-r--r--  1 mccune      61350 Jan 20 14:58 clause.c
-rw-r--r--  1 mccune       7570 Jan 13 16:19 nonport.c
-rw-r--r--  1 mccune      64392 Jan 13 15:07 io.c
-rw-r--r--  1 mccune       3811 Jan 13 08:00 main.c
-rw-r--r--  1 mccune        771 Jan 12 15:45 foreign_test.in
-rw-r--r--  1 mccune      34960 Jan 12 10:06 av.c
-rw-r--r--  1 mccune      12125 Jan 12 10:06 unify.c
-rw-r--r--  1 mccune      12235 Jan 12 10:06 imd.c
-rw-r--r--  1 mccune      11442 Jan 12 10:06 is.c
-rw-r--r--  1 mccune      72648 Jan 12 10:06 linkur.c
-rw-r--r--  1 mccune       8576 Jan 12 08:58 help_str.h
-rw-r--r--  1 mccune      55596 Jan 12 08:57 misc.c
-rw-r--r--  1 mccune       3990 Jan 12 08:55 foreign.h
-rw-r--r--  1 mccune      11621 Jan 12 08:51 formed.h
-rw-r--r--  1 mccune      27402 Jan 12 08:50 formed.c
-rw-r--r--  1 mccune      28743 Jan 12 08:50 display.c
-rw-r--r--  1 mccune      56428 Jan 12 08:50 callbacks.c
-rw-r--r--  1 mccune      67751 Jan 11 22:16 formula.c
-rw-r--r--  1 mccune       4576 Jan 11 21:44 formed.in
-rw-r--r--  1 mccune      10761 Jan 11 21:16 proto.h
-rw-r--r--  1 mccune       9258 Dec  1 08:25 header.h
-rw-r--r--  1 mccune      21787 Dec  1 08:11 fpa.c
-rw-r--r--  1 mccune       3976 Nov 16 13:54 clocks.c
-rw-r--r--  1 mccune      36280 Nov 16 13:54 demod.c
-rw-r--r--  1 mccune       6805 Nov 16 13:54 hot.c
-rw-r--r--  1 mccune       8227 Nov 16 13:54 index.c
-rw-r--r--  1 mccune        279 Nov 16 13:54 linkhyp.c
-rw-r--r--  1 mccune       7592 Nov 16 13:54 lrpo.c
-rw-r--r--  1 mccune      12583 Nov 16 13:54 paramod.c
-rw-r--r--  1 mccune      35417 Nov 16 13:54 resolve.c
-rw-r--r--  1 mccune      17079 Nov 16 13:54 weight.c
-rw-r--r--  1 mccune       3367 Nov 16 13:52 macutils.c
-rw-r--r--  1 mccune      12725 Nov 16 13:45 cos.h
-rw-r--r--  1 mccune       8146 Nov 16 13:44 types.h
-rw-r--r--  1 mccune       2863 Nov 16 13:39 macros.h
-rw-r--r--  1 mccune      12994 Nov 16 13:39 share.c
-rw-r--r--  1 mccune       7233 Nov 16 13:36 geometry.c
-rw-r--r--  1 mccune      10413 Nov 16 13:35 foreign.c

document:
total 576
-rw-r--r--  1 mccune     403084 Jan 21 09:32 manual.ps
-rw-r--r--  1 mccune     159056 Jan 21 09:31 manual.tex

misc:
total 10
-rw-r--r--  1 mccune       3358 Jan 14 13:13 AAR_info
-rwxr-xr-x  1 mccune        208 Jan 12 11:29 link.rsp*
-rwxr-xr-x  1 mccune        351 Nov 12 14:56 prot_old*
-rwxr-xr-x  1 mccune        354 Nov 12 14:52 prot_new*
-rw-r--r--  1 mccune         71 Nov 10 10:49 prot_old.awk
-rw-r--r--  1 mccune         16 Aug 14  1989 prot_new.sed
-rw-r--r--  1 mccune         66 Aug 14  1989 prot_new.awk
