Index of /SATURATE/examples/LocalTheories

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] KD45/ 2006-07-06 13:57 - [   ] ac 2000-10-15 14:37 2.8K [   ] ac1 2001-08-16 14:23 440 [   ] acf2g1 2001-08-16 15:22 473 [   ] arrays 2003-09-15 18:58 870 [   ] bool 1996-11-04 10:18 1.3K [   ] boolst 1995-08-07 15:35 1.3K [   ] cfg 2000-03-20 12:48 645 [   ] cflr 2000-03-20 15:55 1.1K [   ] cong 2000-09-20 14:22 1.3K [   ] cong1 1996-04-29 16:14 972 [   ] cong1sq 1999-08-16 14:41 1.0K [   ] cong2 1996-05-13 13:14 1.5K [   ] cong21 1996-04-30 10:07 1.3K [   ] cong2c 1996-05-13 12:59 835 [   ] cong3 1999-08-09 21:08 1.2K [   ] congHO 1995-11-28 07:21 374 [   ] congHO.ord 1995-11-28 07:24 1.2K [   ] congM 1996-04-30 12:37 960 [   ] congf2g1 2001-09-04 15:07 587 [   ] congpairs 2000-08-10 14:35 2.0K [   ] defaults 2000-05-12 13:29 290 [   ] emb 1995-05-12 15:05 1.3K [   ] emb2 2000-05-16 11:44 1.9K [   ] eq 2003-09-16 02:57 1.5K [   ] es 1996-06-10 07:42 1.3K [   ] flatlists 2003-09-16 06:23 563 [   ] gmr 2000-04-18 10:37 894 [   ] hom 2001-09-20 13:35 570 [   ] increwrite 2001-11-12 13:11 1.1K [   ] int 2001-06-27 12:50 1.7K [   ] inteq 2001-07-02 16:14 915 [   ] intineq 1998-06-10 10:22 332 [   ] join 2001-05-09 13:54 1.3K [   ] join2 2001-05-09 13:49 677 [   ] l1 2001-06-11 07:42 707 [   ] listcong 2003-09-16 03:18 554 [   ] listprims 2003-09-16 03:03 680 [   ] listprimseq 2001-06-27 09:12 457 [   ] lists 2001-11-08 13:15 569 [   ] listseq 2001-06-27 09:33 572 [   ] lk 1995-08-04 09:23 5.6K [   ] lktest 1995-08-02 08:01 3.8K [   ] lpo 2000-08-11 12:20 2.1K [   ] ls-lR 2007-03-29 09:53 5.0K [   ] ls-lR.gz 2007-03-29 09:53 1.0K [   ] ml 1999-08-10 08:54 1.0K [   ] nat 2001-06-11 15:55 1.5K [   ] nateq 2001-06-27 09:48 1.3K [   ] ord 1995-05-23 20:23 1.0K [   ] prop 1995-03-28 07:14 510 [   ] prop1 1995-05-10 19:52 515 [   ] result 2002-11-15 17:34 508 [   ] rewrite 2000-05-09 09:43 555 [   ] rewrite2 2001-05-09 12:20 1.0K [   ] rewrite2eq 2001-06-01 09:18 836 [   ] semilattice 2001-09-20 16:22 534 [   ] setc 1995-11-27 09:20 618 [   ] setc.ord 1995-11-27 09:21 906 [   ] setc1 1995-11-28 07:28 952 [   ] setc1.ord 1995-11-28 07:27 515 [   ] struct 1995-08-08 16:56 1.3K [   ] subt 2001-08-22 08:43 795 [   ] subtprod 2001-08-22 09:49 449 [   ] t 1999-08-18 16:47 444 [   ] tc 1999-08-12 12:57 1.5K [   ] tc2 2000-03-31 11:30 1.4K [   ] tm 1995-09-29 12:47 954 [   ] to 1995-05-23 20:23 906 [   ] ucfg 1995-09-28 08:23 615 [   ] unif 2002-11-14 20:53 2.4K [   ] unifinj 2002-11-14 12:41 1.0K [   ] weakLK 2003-09-15 17:57 2.8K
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443