Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/PeanoArithmetic/

Name	Size	Permissions	Options

PA-OrderTransitivity.html	1.165 KB	-rw-r--r--
PA-OrderTransitivity.in	0.737 KB	-rw-r--r--
PA-OrderTransitivity.out	0 KB	-rw-r--r--
PA-OrderTransitivity.prf	0.662 KB	-rw-r--r--
PA-OrderTrichotomy.html	0.899 KB	-rw-r--r--
PA-Trichotomy.html	3.419 KB	-rw-r--r--
PA-Trichotomy.in	1.135 KB	-rw-r--r--
PA-Trichotomy.out	0 KB	-rw-r--r--
PA-Trichotomy.prf	0.937 KB	-rw-r--r--
PA-TwoToTheN.html	2.412 KB	-rw-r--r--
PA-TwoToTheN.in	1.587 KB	-rw-r--r--
PA-TwoToTheN.out	0 KB	-rw-r--r--
PA-TwoToTheN.prf	1.135 KB	-rw-r--r--
PA-assocplus.html	6.679 KB	-rw-r--r--
PA-assocplus.in	0.64 KB	-rw-r--r--
PA-assocplus.out	0 KB	-rw-r--r--
PA-assocplus.prf	0.701 KB	-rw-r--r--
PA-cancellation.html	0.975 KB	-rw-r--r--
PA-cancellation.in	0.704 KB	-rw-r--r--
PA-cancellation.out	0 KB	-rw-r--r--
PA-cancellation.prf	0.63 KB	-rw-r--r--
PA-complus.html	5.517 KB	-rw-r--r--
PA-complus.in	0.924 KB	-rw-r--r--
PA-complus.out	0 KB	-rw-r--r--
PA-complus.prf	3.2 KB	-rw-r--r--
PA-distributivity.html	1.108 KB	-rw-r--r--
PA-distributivity.in	0.971 KB	-rw-r--r--
PA-distributivity.out	0 KB	-rw-r--r--
PA-distributivity.prf	0.935 KB	-rw-r--r--
PA-multcom.html	8.186 KB	-rw-r--r--
PA-multcom.in	0.832 KB	-rw-r--r--
PA-multcom.out	0 KB	-rw-r--r--
PA-multcom.prf	3.184 KB	-rw-r--r--
le.html	3.67 KB	-rw-r--r--
le.in	0.922 KB	-rw-r--r--
le.out	0 KB	-rw-r--r--
le.prf	0.353 KB	-rw-r--r--
le2.html	2.071 KB	-rw-r--r--
le2.in	0.857 KB	-rw-r--r--
le2.out	0 KB	-rw-r--r--
le2.prf	0.351 KB	-rw-r--r--
le3.html	4.56 KB	-rw-r--r--
le3.in	0.965 KB	-rw-r--r--
le3.out	0 KB	-rw-r--r--
le3.prf	1.824 KB	-rw-r--r--

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