Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/Algebra/
Upload File :

Name
Size
Permissions
Options
homomorphism.html
1.407 KB
-rw-r--r--
homomorphism.in
1.159 KB
-rw-r--r--
homomorphism.out
0 KB
-rw-r--r--
homomorphism.prf
1.761 KB
-rw-r--r--
identity.html
1.004 KB
-rw-r--r--
identity.in
0.217 KB
-rw-r--r--
identity.out
0 KB
-rw-r--r--
identity.prf
0.08 KB
-rw-r--r--
lagrange3.html
5.982 KB
-rw-r--r--
lagrange3.in
0.951 KB
-rw-r--r--
lagrange3.out
0 KB
-rw-r--r--
lagrange3.prf
0.697 KB
-rw-r--r--

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists