![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| top.pvs | 2001-04-04 00:00 | 4.4K | |
| orphaned-proofs.prf | 2001-04-04 00:00 | 4.9K | |
| walks.prf | 1999-10-15 00:00 | 22K | |
| subtrees.prf | 1999-10-15 00:00 | 67K | |
| sep_sets.prf | 1999-10-15 00:00 | 27K | |
| reduce_walks.prf | 1999-10-15 00:00 | 4.5K | |
| orph-prfs | 1999-10-15 00:00 | 5.0K | |
| min_lem.prf | 1999-10-15 00:00 | 205 | |
| max_upto.prf | 1999-10-15 00:00 | 1.6K | |
| max_di_subgraphs.prf | 1999-10-15 00:00 | 3.3K | |
| digraphs.prf | 1999-10-15 00:00 | 5.2K | |
| di_subgraphs_from_walk.prf | 1999-10-15 00:00 | 4.3K | |
| max_subtrees.prf | 1999-10-14 00:00 | 19K | |
| digraph_deg.prf | 1999-10-14 00:00 | 12K | |
| dags.prf | 1999-10-14 00:00 | 1.5K | |
| walks.pvs | 1998-12-22 00:00 | 5.0K | |
| walk_inductions.pvs | 1998-12-22 00:00 | 544 | |
| walk_inductions.prf | 1998-12-22 00:00 | 2.1K | |
| trees.pvs | 1998-12-22 00:00 | 475 | |
| trees.prf | 1998-12-22 00:00 | 800 | |
| subtrees.pvs | 1998-12-22 00:00 | 1.1K | |
| seq_pidgeon.pvs | 1998-12-22 00:00 | 413 | |
| seq_pidgeon.prf | 1998-12-22 00:00 | 4.2K | |
| seq_def.pvs | 1998-12-22 00:00 | 1.7K | |
| seq_def.prf | 1998-12-22 00:00 | 429 | |
| sep_sets.pvs | 1998-12-22 00:00 | 2.5K | |
| reduce_walks.pvs | 1998-12-22 00:00 | 857 | |
| paths.pvs | 1998-12-22 00:00 | 1.7K | |
| paths.prf | 1998-12-22 00:00 | 5.0K | |
| path_ops.pvs | 1998-12-22 00:00 | 1.1K | |
| path_ops.prf | 1998-12-22 00:00 | 5.9K | |
| path_lems.pvs | 1998-12-22 00:00 | 968 | |
| path_lems.prf | 1998-12-22 00:00 | 2.5K | |
| pairs.pvs | 1998-12-22 00:00 | 413 | |
| pairs.prf | 1998-12-22 00:00 | 145 | |
| min_walks.pvs | 1998-12-22 00:00 | 1.2K | |
| min_walks.prf | 1998-12-22 00:00 | 1.9K | |
| min_walk_reduced.pvs | 1998-12-22 00:00 | 542 | |
| min_walk_reduced.prf | 1998-12-22 00:00 | 7.8K | |
| min_lem.pvs | 1998-12-22 00:00 | 129 | |
| max_upto.pvs | 1998-12-22 00:00 | 375 | |
| max_subtrees.pvs | 1998-12-22 00:00 | 780 | |
| max_di_subgraphs.pvs | 1998-12-22 00:00 | 1.7K | |
| ind_paths.pvs | 1998-12-22 00:00 | 1.8K | |
| ind_paths.prf | 1998-12-22 00:00 | 2.1K | |
| fslib.pvs | 1998-12-22 00:00 | 173 | |
| finite_sets_more.pvs | 1998-12-22 00:00 | 259 | |
| finite_sets_more.prf | 1998-12-22 00:00 | 215 | |
| doubletons.pvs | 1998-12-22 00:00 | 1.8K | |
| doubletons.prf | 1998-12-22 00:00 | 7.5K | |
| digraphs.pvs | 1998-12-22 00:00 | 3.5K | |
| digraph_ops.pvs | 1998-12-22 00:00 | 3.1K | |
| digraph_ops.prf | 1998-12-22 00:00 | 4.6K | |
| digraph_inductions.pvs | 1998-12-22 00:00 | 1.2K | |
| digraph_inductions.prf | 1998-12-22 00:00 | 1.7K | |
| digraph_deg.pvs | 1998-12-22 00:00 | 2.7K | |
| digraph_conn_defs.pvs | 1998-12-22 00:00 | 1.4K | |
| digraph_conn_defs.prf | 1998-12-22 00:00 | 206 | |
| di_subgraphs_from_walk.pvs | 1998-12-22 00:00 | 1.5K | |
| di_subgraphs.pvs | 1998-12-22 00:00 | 1.2K | |
| di_subgraphs.prf | 1998-12-22 00:00 | 1.4K | |
| dags.pvs | 1998-12-22 00:00 | 315 | |
| circuits.pvs | 1998-12-22 00:00 | 770 | |
| circuits.prf | 1998-12-22 00:00 | 198 | |
| abstract_min.pvs | 1998-12-22 00:00 | 1.7K | |
| abstract_min.prf | 1998-12-22 00:00 | 1.8K | |
| abstract_max.pvs | 1998-12-22 00:00 | 1.8K | |
| abstract_max.prf | 1998-12-22 00:00 | 1.7K | |