-rwxr-xr-x | 422260 | root |
root |
/usr/bin/teyjus
|
-rwxr-xr-x | 230804 | root |
root |
/usr/bin/tjcc
|
-rwxr-xr-x | 49428 | root |
root |
/usr/bin/tjdis
|
-rwxr-xr-x | 327764 | root |
root |
/usr/bin/tjsim
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs
|
-rw-r--r-- | 2852 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/README
|
-rw-r--r-- | 821 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_interp.mod
|
-rw-r--r-- | 205 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_interp.sig
|
-rw-r--r-- | 496 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_syntax.mod
|
-rw-r--r-- | 492 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hc_syntax.sig
|
-rw-r--r-- | 7334 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.dis
|
-rw-r--r-- | 503 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.mod
|
-rw-r--r-- | 180 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcinterp_examples.sig
|
-rw-r--r-- | 797 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcsyntax_examples.mod
|
-rw-r--r-- | 300 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/hcsyntax_examples.sig
|
-rw-r--r-- | 578 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_basic.sig
|
-rw-r--r-- | 193 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_types.sig
|
-rw-r--r-- | 368 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/logic_vocab.sig
|
-rw-r--r-- | 2377 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf.mod
|
-rw-r--r-- | 371 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf.sig
|
-rw-r--r-- | 447 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf_examples.mod
|
-rw-r--r-- | 232 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/pnf_examples.sig
|
-rw-r--r-- | 726 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/refl_syntax.mod
|
-rw-r--r-- | 482 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/refl_syntax.sig
|
-rw-r--r-- | 3392 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script1
|
-rw-r--r-- | 4270 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script2
|
-rw-r--r-- | 4675 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/logic/script3
|
-rw-r--r-- | 3580 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/README
|
-rw-r--r-- | 218 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_test.mod
|
-rw-r--r-- | 150 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_test.sig
|
-rw-r--r-- | 575 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_transform.mod
|
-rw-r--r-- | 236 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/curry_transform.sig
|
-rw-r--r-- | 1595 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval.mod
|
-rw-r--r-- | 72 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval.sig
|
-rw-r--r-- | 289 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_basic.mod
|
-rw-r--r-- | 159 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_basic.sig
|
-rw-r--r-- | 677 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_examples.mod
|
-rw-r--r-- | 230 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/eval_examples.sig
|
-rw-r--r-- | 192 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/fp_types.sig
|
-rw-r--r-- | 1073 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/fp_vocab.sig
|
-rw-r--r-- | 583 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/general_tr.mod
|
-rw-r--r-- | 199 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/general_tr.sig
|
-rw-r--r-- | 878 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/refl_syntax.mod
|
-rw-r--r-- | 214 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/refl_syntax.sig
|
-rw-r--r-- | 3369 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script1
|
-rw-r--r-- | 1696 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script2
|
-rw-r--r-- | 1570 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script3
|
-rw-r--r-- | 1676 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/script4
|
-rw-r--r-- | 943 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/terms.mod
|
-rw-r--r-- | 182 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/terms.sig
|
-rw-r--r-- | 351 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr1_test.mod
|
-rw-r--r-- | 175 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr1_test.sig
|
-rw-r--r-- | 299 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr2_test.mod
|
-rw-r--r-- | 254 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr2_test.sig
|
-rw-r--r-- | 497 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr_recognizer.mod
|
-rw-r--r-- | 178 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/handbook/progs/tr_recognizer.sig
|
-rw-r--r-- | 95 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm11.mod
|
-rw-r--r-- | 56 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm11.sig
|
-rw-r--r-- | 68 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm12.mod
|
-rw-r--r-- | 36 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm12.sig
|
-rw-r--r-- | 87 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm21.mod
|
-rw-r--r-- | 37 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm21.sig
|
-rw-r--r-- | 105 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm22.mod
|
-rw-r--r-- | 47 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm22.sig
|
-rw-r--r-- | 61 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm3.mod
|
-rw-r--r-- | 45 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm3.sig
|
-rw-r--r-- | 70 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm41.mod
|
-rw-r--r-- | 47 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm41.sig
|
-rw-r--r-- | 145 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm42.mod
|
-rw-r--r-- | 103 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/misc/importm42.sig
|
-rw-r--r-- | 3514 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/README
|
-rw-r--r-- | 585 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/formulas.mod
|
-rw-r--r-- | 190 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/formulas.sig
|
-rw-r--r-- | 460 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goalred.mod
|
-rw-r--r-- | 192 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goalred.sig
|
-rw-r--r-- | 310 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/goaltypes.sig
|
-rw-r--r-- | 1477 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/inter.mod
|
-rw-r--r-- | 442 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/inter.sig
|
-rw-r--r-- | 1391 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/listmanip.mod
|
-rw-r--r-- | 493 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/listmanip.sig
|
-rw-r--r-- | 467 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/logic.sig
|
-rw-r--r-- | 1026 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndproofs.sig
|
-rw-r--r-- | 4297 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndtac.mod
|
-rw-r--r-- | 1211 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/ndtac.sig
|
-rw-r--r-- | 429 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/nonlogical.sig
|
-rw-r--r-- | 15334 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/printfile
|
-rw-r--r-- | 12475 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/script
|
-rw-r--r-- | 1765 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/tacticals.mod
|
-rw-r--r-- | 715 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/ndprover/tacticals.sig
|
-rw-r--r-- | 191 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoc.mod
|
-rw-r--r-- | 130 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoc.sig
|
-rw-r--r-- | 328 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoclists.mod
|
-rw-r--r-- | 139 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/assoclists.sig
|
-rw-r--r-- | 951 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/funs.mod
|
-rw-r--r-- | 187 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/funs.sig
|
-rw-r--r-- | 987 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists.mod
|
-rw-r--r-- | 467 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists.sig
|
-rw-r--r-- | 346 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists2.mod
|
-rw-r--r-- | 171 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/lists2.sig
|
-rw-r--r-- | 609 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/maps.mod
|
-rw-r--r-- | 479 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/maps.sig
|
-rw-r--r-- | 227 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/reverse.mod
|
-rw-r--r-- | 56 | root |
root |
/usr/share/doc/teyjus-1.0_b33/examples/utility/reverse.sig
|
-rw-r--r-- | 24859 | root |
root |
/usr/share/info/teyjus.info.bz2
|
-rw-r--r-- | 17790 | root |
root |
/usr/share/info/teyjus_impl.info.bz2
|