98.04.14 15:17 B M:\prog\pddl\pddl\src\action.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src action.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\basics.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src basics.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\builtins.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.chk 98.04.14 15:17 B M:\prog\pddl\pddl\src\builtins.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\builtins.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp~ 98.04.14 15:17 B M:\prog\pddl\pddl\src\checker.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.fsl 98.04.14 15:17 B M:\prog\pddl\pddl\src\checker.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\checker.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp~ 98.04.14 15:17 B M:\prog\pddl\pddl\src\checksearch.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checksearch.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\checkutils.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkutils.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\copy.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src copy.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\deduction.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.fsl 98.04.14 15:17 B M:\prog\pddl\pddl\src\deduction.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\deduction.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp~ 98.04.14 15:17 B M:\prog\pddl\pddl\src\definers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src definers.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\expdt.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src expdt.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\index.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\index.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp~ 98.04.14 15:17 B M:\prog\pddl\pddl\src\loader.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.fsl 98.04.14 15:17 B M:\prog\pddl\pddl\src\loader.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\parsers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src parsers.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\setindex.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src setindex.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\symboid.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src symboid.lisp 98.04.14 15:17 B M:\prog\pddl\pddl\src\typecheck.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src typecheck.lisp 98.04.14 15:18 B M:\prog\pddl\pddl\src\types.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp 98.04.14 15:18 B M:\prog\pddl\pddl\src\types.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp~ 98.04.14 15:18 B M:\prog\pddl\pddl\src\unify.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\action.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src action.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\basics.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src basics.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\basics.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src basics.lisp~ 98.04.28 16:21 B M:\prog\pddl\pddl\src\builtins.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.chk 98.04.28 16:21 B M:\prog\pddl\pddl\src\builtins.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\builtins.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp~ 98.04.28 16:21 B M:\prog\pddl\pddl\src\checker.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.fsl 98.04.28 16:21 B M:\prog\pddl\pddl\src\checker.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\checker.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp~ 98.04.28 16:21 B M:\prog\pddl\pddl\src\checksearch.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checksearch.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\checksearch.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checksearch.lisp~ 98.04.28 16:21 B M:\prog\pddl\pddl\src\checkutils.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkutils.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\copy.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src copy.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\deduction.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.chk 98.04.28 16:21 B M:\prog\pddl\pddl\src\deduction.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.fsl 98.04.28 16:21 B M:\prog\pddl\pddl\src\deduction.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\deduction.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp~ 98.04.28 16:21 B M:\prog\pddl\pddl\src\definers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src definers.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\expdt.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src expdt.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\index.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.fsl 98.04.28 16:21 B M:\prog\pddl\pddl\src\index.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp 98.04.28 16:21 B M:\prog\pddl\pddl\src\index.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp~ 98.04.28 16:22 B M:\prog\pddl\pddl\src\loader.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.fsl 98.04.28 16:22 B M:\prog\pddl\pddl\src\loader.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\Niscom_Log --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src Niscom_Log 98.04.28 16:22 B M:\prog\pddl\pddl\src\Niscom_Log.~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src Niscom_Log.~ 98.04.28 16:22 B M:\prog\pddl\pddl\src\parsers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src parsers.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\setindex.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src setindex.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\symboid.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src symboid.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\typecheck.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src typecheck.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\types.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.fsl 98.04.28 16:22 B M:\prog\pddl\pddl\src\types.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\types.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp~ 98.04.28 16:22 B M:\prog\pddl\pddl\src\unify.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.fsl 98.04.28 16:22 B M:\prog\pddl\pddl\src\unify.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.lisp 98.04.28 16:22 B M:\prog\pddl\pddl\src\unify.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.lisp~ 98.04.28 16:22 B M:\prog\pddl\pddl\src\WS_FTP.LOG --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src WS_FTP.LOG 98.05.11 10:52 B M:\prog\pddl\pddl\src\action.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src action.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\basics.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src basics.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\basics.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src basics.lisp~ 98.05.11 10:52 B M:\prog\pddl\pddl\src\builtins.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src builtins.chk 98.05.11 10:52 B M:\prog\pddl\pddl\src\builtins.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src builtins.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\builtins.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src builtins.lisp~ 98.05.11 10:52 B M:\prog\pddl\pddl\src\checker.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checker.fsl 98.05.11 10:52 B M:\prog\pddl\pddl\src\checker.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checker.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\checker.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checker.lisp~ 98.05.11 10:52 B M:\prog\pddl\pddl\src\checksearch.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checksearch.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\checksearch.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checksearch.lisp~ 98.05.11 10:52 B M:\prog\pddl\pddl\src\checkutils.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src checkutils.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\copy.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src copy.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\deduction.chk --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src deduction.chk 98.05.11 10:52 B M:\prog\pddl\pddl\src\deduction.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src deduction.fsl 98.05.11 10:52 B M:\prog\pddl\pddl\src\deduction.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src deduction.lisp 98.05.11 10:52 B M:\prog\pddl\pddl\src\deduction.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src deduction.lisp~ 98.05.11 10:52 B M:\prog\pddl\pddl\src\definers.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src definers.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\expdt.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src expdt.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\expdt.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src expdt.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\index.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src index.fsl 98.05.11 10:53 B M:\prog\pddl\pddl\src\index.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src index.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\index.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src index.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\loader.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src loader.fsl 98.05.11 10:53 B M:\prog\pddl\pddl\src\loader.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src loader.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\Niscom_Log --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src Niscom_Log 98.05.11 10:53 B M:\prog\pddl\pddl\src\Niscom_Log.~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src Niscom_Log.~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\parsers.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src parsers.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\parsers.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src parsers.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\setindex.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src setindex.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\setindex.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src setindex.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\symboid.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src symboid.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\typecheck.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src typecheck.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\types.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src types.fsl 98.05.11 10:53 B M:\prog\pddl\pddl\src\types.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src types.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\types.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src types.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\unify.fsl --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src unify.fsl 98.05.11 10:53 B M:\prog\pddl\pddl\src\unify.lisp --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src unify.lisp 98.05.11 10:53 B M:\prog\pddl\pddl\src\unify.lisp~ --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src unify.lisp~ 98.05.11 10:53 B M:\prog\pddl\pddl\src\WS_FTP.LOG --> ultra.cs.yale.edu /export/ultra1/dvm/pddl/pddl/src WS_FTP.LOG 98.06.02 09:36 B M:\prog\pddl\pddl\src\action.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src action.lisp 98.06.02 09:36 B M:\prog\pddl\pddl\src\action.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src action.lisp~ 98.06.02 09:36 B M:\prog\pddl\pddl\src\basics.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src basics.lisp 98.06.02 09:36 B M:\prog\pddl\pddl\src\basics.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src basics.lisp~ 98.06.02 09:36 B M:\prog\pddl\pddl\src\builtins-new.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins-new.lisp~ 98.06.02 09:36 B M:\prog\pddl\pddl\src\builtins.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.chk 98.06.02 09:36 B M:\prog\pddl\pddl\src\builtins.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.fsl 98.06.02 09:36 B M:\prog\pddl\pddl\src\builtins.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp 98.06.02 09:36 B M:\prog\pddl\pddl\src\builtins.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src builtins.lisp~ 98.06.02 09:36 B M:\prog\pddl\pddl\src\checkall.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkall.fsl 98.06.02 09:36 B M:\prog\pddl\pddl\src\checkall.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkall.lisp 98.06.02 09:36 B M:\prog\pddl\pddl\src\checkall.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkall.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\checker.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\checker.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\checker.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checker.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\checksearch.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checksearch.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\checksearch.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checksearch.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\checkutils.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src checkutils.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\copy.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src copy.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction-new.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction-new.chk 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction-new.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction-new.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction-new.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction-new.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction.chk --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.chk 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\deduction.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src deduction.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\definers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src definers.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\expdt.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src expdt.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\expdt.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src expdt.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\index.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\index.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\index.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src index.lisp~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\loader.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\loader.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src loader.lisp 98.06.02 09:37 B M:\prog\pddl\pddl\src\Niscom_Log --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src Niscom_Log 98.06.02 09:37 B M:\prog\pddl\pddl\src\Niscom_Log.~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src Niscom_Log.~ 98.06.02 09:37 B M:\prog\pddl\pddl\src\parsers.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src parsers.fsl 98.06.02 09:37 B M:\prog\pddl\pddl\src\parsers.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src parsers.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\parsers.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src parsers.lisp~ 98.06.02 09:38 B M:\prog\pddl\pddl\src\setindex.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src setindex.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\setindex.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src setindex.lisp~ 98.06.02 09:38 B M:\prog\pddl\pddl\src\symboid.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src symboid.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\typecheck.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src typecheck.fsl 98.06.02 09:38 B M:\prog\pddl\pddl\src\typecheck.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src typecheck.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\typecheck.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src typecheck.lisp~ 98.06.02 09:38 B M:\prog\pddl\pddl\src\types.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.fsl 98.06.02 09:38 B M:\prog\pddl\pddl\src\types.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\types.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src types.lisp~ 98.06.02 09:38 B M:\prog\pddl\pddl\src\unify.fsl --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.fsl 98.06.02 09:38 B M:\prog\pddl\pddl\src\unify.lisp --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.lisp 98.06.02 09:38 B M:\prog\pddl\pddl\src\unify.lisp~ --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src unify.lisp~ 98.06.02 09:38 B M:\prog\pddl\pddl\src\WS_FTP.LOG --> ultra.cs.yale.edu /export/home/dvm/backup/prog/pddl/pddl/src WS_FTP.LOG