Index of /SATURATE/examples
Name Last modified Size Description
Parent Directory -
ALC/ 2012-09-24 12:09 -
ChurchRosser/ 2012-09-24 12:09 -
ChurchRosserOrig/ 2012-09-24 12:09 -
LocalTheories/ 2012-09-24 12:09 -
Pelletier/ 2012-09-24 12:09 -
bledsoe/ 2012-09-24 12:09 -
builtinTheories/ 2012-09-24 12:09 -
explicit_substitutions/ 2012-09-24 12:09 -
happy/ 2012-09-24 12:09 -
hoare/ 2012-09-24 12:09 -
library/ 2012-09-24 12:09 -
modal-logic/ 2012-09-24 12:09 -
queues/ 2012-09-24 12:09 -
tests/ 2012-09-24 12:09 -
exp 2003-09-30 13:37 39
g.ord 1996-01-31 20:39 52
test 1998-07-17 14:00 55
ag 2002-01-22 12:28 71
Agatha.ord 2003-05-15 11:09 79
lion_uni 1999-11-15 15:25 84
ag.p.ord 1996-10-07 13:00 91
agp 2003-09-30 13:35 96
pell53fo 2001-09-04 10:46 177
total_ordering 1995-11-09 14:47 200
setp.ord 2001-02-02 14:44 205
union1 1996-10-12 16:21 205
hres15c 1996-05-15 07:28 215
ring 1996-10-07 14:50 220
overbeek3.ord 1996-10-23 17:14 240
ac 1996-02-20 14:35 254
to.ord 1995-11-08 20:30 264
nat1 1995-04-27 15:18 276
g 2001-09-27 15:15 285
defaults 2003-12-13 13:25 297
ind 1995-04-27 12:15 313
aci 1996-02-20 14:35 317
groupTheory 2002-04-18 07:41 321
oc15 1994-04-27 14:14 348
or 1996-10-15 09:12 374
to 1995-11-14 17:16 429
asg 1996-02-21 07:03 448
intp 2000-05-16 10:48 462
g2 1996-10-07 19:59 502
overbeek1 1993-08-06 13:54 502
pell53 1996-11-26 14:53 544
g1 1996-01-31 20:39 592
loveland 1994-04-29 08:01 605
ded 1994-10-20 09:25 628
ovb3.spa 2004-03-16 19:12 628
pell24 1996-10-30 10:20 703
pl5orig 1995-08-30 06:53 758
hres15 2001-11-27 17:09 790
overbeek3 1996-02-20 14:34 891
pell45 1998-11-09 16:42 924
pelletier46 1993-08-06 13:54 1.0K
pelletier45 1993-08-06 13:54 1.0K
ovb333.dfg 2004-03-16 19:21 1.1K
wos22o 1996-05-17 09:31 1.1K
pl5 1996-10-09 09:29 1.2K
pl5hg 2004-03-10 16:24 1.3K
lion_uni_th 1999-11-15 15:26 1.6K
set 2004-03-30 14:14 1.6K
halteproblem_hg 1998-11-11 16:31 1.7K
ovb33 2004-03-16 19:18 1.7K
lion_uni1 2001-11-28 16:50 1.8K
animals 1998-11-09 15:27 1.9K
pigs 1996-01-31 20:39 2.1K
pl5hg.dfg 2004-03-10 16:19 2.1K
setp 2001-02-02 13:03 2.2K
concept 1996-03-28 13:42 2.3K
sr 2003-05-15 11:18 2.3K
lion_uni2 1999-06-15 21:06 2.3K
ex5 1996-05-15 15:49 2.8K
agp.n 2004-03-08 10:52 3.1K
ag.n 2004-03-08 10:52 3.1K
tarski 2003-01-20 16:13 3.2K
tarski2 2002-08-27 20:31 3.4K
wos22 1996-05-17 09:35 3.5K
Agatha.dfg 2003-05-15 11:09 3.7K
halteproblem 1998-11-10 16:03 4.2K
needham 2002-10-25 15:56 4.5K
total_ordering.n 2004-03-08 10:53 4.6K
halteproblem3 1998-11-12 17:08 5.1K
sheffer3 2002-11-14 15:38 6.5K
ls-lR.gz 2007-03-29 09:53 7.3K
pell53.1 2001-09-03 16:55 10K
halteproblem_knf 1998-11-10 16:28 12K
set.ord 2004-03-30 14:14 18K
pell53.ord 2001-09-03 16:58 27K
ls-lR 2007-03-29 09:53 49K
lion_uni_th.n 2004-03-08 10:53 72K
Apache/2.4.62 (Debian) Server at resources.mpi-inf.mpg.de Port 443