Index of /ftp/pub/pvs/libraries/nasa/nat_funs/

../
abstract_max.prf                                   18-Nov-1998 23:00                1765
abstract_max.pvs                                   18-Nov-1998 23:00                 720
abstract_min.prf                                   18-Nov-1998 23:00                1806
abstract_min.pvs                                   18-Nov-1998 23:00                 691
div_nat.prf                                        18-Nov-1998 23:00                2740
div_nat.pvs                                        14-Oct-1999 22:00                1282
floor_div_props.prf                                18-Nov-1998 23:00                2707
floor_div_props.pvs                                14-Oct-1999 22:00                 584
max_upto.prf                                       14-Oct-1999 22:00                1812
max_upto.pvs                                       18-Nov-1998 23:00                 375
min_nat.prf                                        18-Nov-1998 23:00                 928
min_nat.pvs                                        18-Nov-1998 23:00                 312
mod_nat.prf                                        14-Oct-1999 22:00                2954
mod_nat.pvs                                        18-Nov-1998 23:00                 895
nat_fun_props.prf                                  18-Nov-1998 23:00                1842
nat_fun_props.pvs                                  18-Nov-1998 23:00                 616
orphaned-proofs.prf                                03-Apr-2001 22:00                1884
top.pvs                                            14-Oct-1999 22:00                 738