Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | certify.acl2 | 634 | logplain |
-rw-r--r-- | collect_msg_book.lisp | 19049 | logplain |
-rw-r--r-- | getting_rid_of_mod.lisp | 14237 | logplain |
-rw-r--r-- | intersect.lisp | 3668 | logplain |
-rw-r--r-- | local_trip_book.lisp | 31173 | logplain |
-rw-r--r-- | make_travel_list_book.lisp | 7896 | logplain |
-rw-r--r-- | mod_lemmas.lisp | 3636 | logplain |
-rw-r--r-- | node.lisp | 33380 | logplain |
-rw-r--r-- | octagon_book.lisp | 35874 | logplain |
-rw-r--r-- | predicatesNCie.lisp | 11203 | logplain |
-rw-r--r-- | readme.txt | 6615 | logplain |
-rw-r--r-- | routing_defuns.lisp | 5525 | logplain |
-rw-r--r-- | routing_local_lemmas.lisp | 30263 | logplain |
-rw-r--r-- | routing_main.lisp | 3017 | logplain |
-rw-r--r-- | scheduler_book.lisp | 5430 | logplain |
-rw-r--r-- | switch.lisp | 6466 | logplain |
-rw-r--r-- | trip_book.lisp | 26832 | logplain |
-rw-r--r-- | trip_thms.lisp | 12045 | logplain |