Index of /principia/0_00_50

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 javadoc/                2002-01-23 00:40    -   
 lib/                    2002-01-23 00:10    -   
 links.html              2002-03-17 23:24  4.1K  
 module.txt              2002-01-23 00:39   10K  
 plan.txt                2002-01-23 00:39  1.2K  
 predaxiom_1.00.00_1...> 2002-02-11 09:19  5.1K  
 predaxiom_1.00.00_1...> 2002-01-22 20:51  2.5K  
 predtheo1_1.00.00_1...> 2002-02-11 09:19  9.7K  
 predtheo1_1.00.00_1...> 2002-01-22 20:51  3.1K  
 proof.txt               2002-01-23 00:39  4.5K  
 propaxiom_1.00.00_1...> 2002-02-11 09:52   10K  
 propaxiom_1.00.00_1...> 2002-01-22 20:51  5.1K  
 properror1_1.00.00_1..> 2002-01-22 20:51  3.0K  
 properror2_1.00.00_1..> 2002-01-22 20:51  3.0K  
 properror3_1.00.00_1..> 2002-01-22 20:51  3.1K  
 prophilbert1_1.00.00..> 2002-02-10 21:43  503K  
 prophilbert1_1.00.00..> 2002-01-22 20:52  125K  
 prophilbert1_1.00.00..> 2002-02-10 21:43   77K  
 prophilbert1_1.00.00..> 2002-01-22 20:52   25K  
 prophilbert2_1.00.00..> 2002-02-10 21:44  1.4M  
 prophilbert2_1.00.00..> 2002-01-22 20:54  300K  
 prophilbert2_1.00.00..> 2002-02-10 21:44  128K  
 prophilbert2_1.00.00..> 2002-01-22 20:54   34K  
 prophilbert3_1.00.00..> 2002-02-10 21:46  1.8M  
 prophilbert3_1.00.00..> 2002-01-22 20:56  348K  
 prophilbert3_1.00.00..> 2002-02-10 21:46  151K  
 prophilbert3_1.00.00..> 2002-01-22 20:56   39K  
 proptheo1_1.00.00_1...> 2002-02-10 21:46   25K  
 proptheo1_1.00.00_1...> 2002-01-22 20:56  7.1K  
 proptheo2_1.00.00_1...> 2002-02-10 21:46   73K  
 proptheo2_1.00.00_1...> 2002-01-22 20:56   20K  
 rules.txt               2002-01-23 00:39  2.6K  
 rules_1.00.00.html      2002-02-10 21:46   19K  
 src/                    2002-01-23 00:10    -   
 subst_1.00.00_1.01.0..> 2002-02-10 21:46  2.9K  
 subst_1.00.00_1.01.0..> 2002-01-22 20:56  1.7K  
 versions.txt            2002-01-23 00:39  7.9K  
 zip/                    2002-01-27 02:29    -