Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | README | 2318 | logplain |
-rw-r--r-- | monomial.acl2 | 633 | logplain |
-rw-r--r-- | monomial.lisp | 2296 | logplain |
-rw-r--r-- | npol-ordering-1.acl2 | 640 | logplain |
-rw-r--r-- | npol-ordering-1.lisp | 1923 | logplain |
-rw-r--r-- | npol-ordering-2.acl2 | 640 | logplain |
-rw-r--r-- | npol-ordering-2.lisp | 3380 | logplain |
-rw-r--r-- | ordinal-ordering.acl2 | 641 | logplain |
-rw-r--r-- | ordinal-ordering.lisp | 509 | logplain |
-rw-r--r-- | term.acl2 | 629 | logplain |
-rw-r--r-- | term.lisp | 1069 | logplain |
-rw-r--r-- | upol.acl2 | 629 | logplain |
-rw-r--r-- | upol.lisp | 598 | logplain |