Sophie: teyjus-1.0_b31-15mdk i586

teyjus-1.0_b31-15mdk.i586.rpm

Files

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