acl2-books-source 6.5-2 / usr / share / acl2-6.5 / books / coi

This file is indexed.

/usr/share/acl2-6.5/books/coi/ is in acl2-books-source 6.5-2.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/acl2-6.5/books/coi/adviser/ root:root 0o755
/usr/share/acl2-6.5/books/coi/adviser/adviser-pkg.lisp text/plain root:root 0o644 423 bytes
/usr/share/acl2-6.5/books/coi/adviser/adviser.lisp text/plain root:root 0o644 28.7 KB
/usr/share/acl2-6.5/books/coi/adviser/cert.acl2 text/plain root:root 0o644 492 bytes
/usr/share/acl2-6.5/books/coi/adviser/test.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-6.5/books/coi/alists/ root:root 0o755
/usr/share/acl2-6.5/books/coi/alists/alist-pkg.lisp text/plain root:root 0o644 421 bytes
/usr/share/acl2-6.5/books/coi/alists/bindequiv.lisp text/x-lisp root:root 0o644 13.8 KB
/usr/share/acl2-6.5/books/coi/alists/cert.acl2 text/plain root:root 0o644 527 bytes
/usr/share/acl2-6.5/books/coi/alists/clearkey.lisp text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.5/books/coi/alists/deshadow.lisp text/x-lisp root:root 0o644 6.0 KB
/usr/share/acl2-6.5/books/coi/alists/equiv.lisp text/x-lisp root:root 0o644 11.8 KB
/usr/share/acl2-6.5/books/coi/alists/keyquiv.lisp text/x-lisp root:root 0o644 18.4 KB
/usr/share/acl2-6.5/books/coi/alists/preimage.lisp text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.5/books/coi/alists/strip.lisp text/plain root:root 0o644 4.8 KB
/usr/share/acl2-6.5/books/coi/alists/subkeyquiv.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-6.5/books/coi/alists/top.lisp text/plain root:root 0o644 737 bytes
/usr/share/acl2-6.5/books/coi/bags/ root:root 0o755
/usr/share/acl2-6.5/books/coi/bags/basic.lisp text/plain root:root 0o644 130.7 KB
/usr/share/acl2-6.5/books/coi/bags/bind-free-rules.lisp text/x-lisp root:root 0o644 42.4 KB
/usr/share/acl2-6.5/books/coi/bags/cert.acl2 text/plain root:root 0o644 501 bytes
/usr/share/acl2-6.5/books/coi/bags/cons.lisp text/x-lisp root:root 0o644 12.1 KB
/usr/share/acl2-6.5/books/coi/bags/eric-meta.lisp text/x-lisp root:root 0o644 143.1 KB
/usr/share/acl2-6.5/books/coi/bags/extras.lisp text/plain root:root 0o644 1013 bytes
/usr/share/acl2-6.5/books/coi/bags/meta.lisp text/x-lisp root:root 0o644 89.1 KB
/usr/share/acl2-6.5/books/coi/bags/neq.lisp text/x-lisp root:root 0o644 17.1 KB
/usr/share/acl2-6.5/books/coi/bags/pick-a-point.lisp text/x-lisp root:root 0o644 4.8 KB
/usr/share/acl2-6.5/books/coi/bags/top.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.5/books/coi/bags/two-level-meta.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/coi/bags/two-level.lisp text/plain root:root 0o644 8.2 KB
/usr/share/acl2-6.5/books/coi/defpun/ root:root 0o755
/usr/share/acl2-6.5/books/coi/defpun/ack.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-6.5/books/coi/defpun/defminterm.lisp text/x-lisp root:root 0o644 41.1 KB
/usr/share/acl2-6.5/books/coi/defpun/defpun.lisp text/x-lisp root:root 0o644 22.7 KB
/usr/share/acl2-6.5/books/coi/defpun/defxch.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-6.5/books/coi/defstructure/ root:root 0o755
/usr/share/acl2-6.5/books/coi/defstructure/cert.acl2 text/plain root:root 0o644 465 bytes
/usr/share/acl2-6.5/books/coi/defstructure/defstructure-pkg.lisp text/plain root:root 0o644 427 bytes
/usr/share/acl2-6.5/books/coi/defstructure/defstructure.lisp text/plain root:root 0o644 110.5 KB
/usr/share/acl2-6.5/books/coi/defung/ root:root 0o755
/usr/share/acl2-6.5/books/coi/defung/ack-variants.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-6.5/books/coi/defung/cert.acl2 text/plain root:root 0o644 711 bytes
/usr/share/acl2-6.5/books/coi/defung/defung-stress-long.lisp text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/coi/defung/defung-stress.lisp text/plain root:root 0o644 5.6 KB
/usr/share/acl2-6.5/books/coi/defung/defung-test.lisp text/x-lisp root:root 0o644 13.8 KB
/usr/share/acl2-6.5/books/coi/defung/defung.lisp text/x-lisp root:root 0o644 75.5 KB
/usr/share/acl2-6.5/books/coi/defung/fractran.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-6.5/books/coi/defung/map-ec-call.lisp text/x-lisp root:root 0o644 3.8 KB
/usr/share/acl2-6.5/books/coi/defung/monadic.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.5/books/coi/defung/phony-induction.lisp text/x-lisp root:root 0o644 1.9 KB
/usr/share/acl2-6.5/books/coi/defung/rev3.lisp text/x-lisp root:root 0o644 1.8 KB
/usr/share/acl2-6.5/books/coi/defung/split.lisp text/x-lisp root:root 0o644 49.0 KB
/usr/share/acl2-6.5/books/coi/dtrees/ root:root 0o755
/usr/share/acl2-6.5/books/coi/dtrees/base.lisp text/plain root:root 0o644 29.5 KB
/usr/share/acl2-6.5/books/coi/dtrees/cert.acl2 text/plain root:root 0o644 627 bytes
/usr/share/acl2-6.5/books/coi/dtrees/child.lisp text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.5/books/coi/dtrees/deps.lisp text/x-lisp root:root 0o644 27.6 KB
/usr/share/acl2-6.5/books/coi/dtrees/dtree-examples.lisp text/x-lisp root:root 0o644 16.0 KB
/usr/share/acl2-6.5/books/coi/dtrees/equiv.lisp text/plain root:root 0o644 35.9 KB
/usr/share/acl2-6.5/books/coi/dtrees/erase.lisp text/x-lisp root:root 0o644 18.5 KB
/usr/share/acl2-6.5/books/coi/dtrees/leafp.lisp text/plain root:root 0o644 13.3 KB
/usr/share/acl2-6.5/books/coi/dtrees/raw.lisp text/plain root:root 0o644 8.6 KB
/usr/share/acl2-6.5/books/coi/dtrees/royalp.lisp text/x-lisp root:root 0o644 12.0 KB
/usr/share/acl2-6.5/books/coi/dtrees/set.lisp text/x-lisp root:root 0o644 15.4 KB
/usr/share/acl2-6.5/books/coi/dtrees/top.lisp text/plain root:root 0o644 697 bytes
/usr/share/acl2-6.5/books/coi/gacc/ root:root 0o755
/usr/share/acl2-6.5/books/coi/gacc/abstract-gacc.lisp text/x-lisp root:root 0o644 27.1 KB
/usr/share/acl2-6.5/books/coi/gacc/addr-range.lisp text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.5/books/coi/gacc/bits.lisp text/x-lisp root:root 0o644 12.7 KB
/usr/share/acl2-6.5/books/coi/gacc/block.lisp text/x-lisp root:root 0o644 19.1 KB
/usr/share/acl2-6.5/books/coi/gacc/cert.acl2 text/plain root:root 0o644 489 bytes
/usr/share/acl2-6.5/books/coi/gacc/finite.acl2 text/plain root:root 0o644 648 bytes
/usr/share/acl2-6.5/books/coi/gacc/finite.lisp text/x-lisp root:root 0o644 49.7 KB
/usr/share/acl2-6.5/books/coi/gacc/fr-path-connection.acl2 text/plain root:root 0o644 547 bytes
/usr/share/acl2-6.5/books/coi/gacc/fr-path-connection.lisp text/x-lisp root:root 0o644 65.1 KB
/usr/share/acl2-6.5/books/coi/gacc/gacc-exports.lisp text/plain root:root 0o644 26.0 KB
/usr/share/acl2-6.5/books/coi/gacc/gacc-pkg.lisp text/plain root:root 0o644 312 bytes
/usr/share/acl2-6.5/books/coi/gacc/gacc.acl2 text/plain root:root 0o644 769 bytes
/usr/share/acl2-6.5/books/coi/gacc/gacc.lisp text/x-lisp root:root 0o644 41.1 KB
/usr/share/acl2-6.5/books/coi/gacc/gacc2.acl2 text/plain root:root 0o644 766 bytes
/usr/share/acl2-6.5/books/coi/gacc/gacc2.lisp text/x-lisp root:root 0o644 36.7 KB
/usr/share/acl2-6.5/books/coi/gacc/gacc3.acl2 text/plain root:root 0o644 652 bytes
/usr/share/acl2-6.5/books/coi/gacc/gacc3.lisp text/x-lisp root:root 0o644 91.2 KB
/usr/share/acl2-6.5/books/coi/gacc/gax.acl2 text/plain root:root 0o644 669 bytes
/usr/share/acl2-6.5/books/coi/gacc/gax.lisp text/x-lisp root:root 0o644 55.8 KB
/usr/share/acl2-6.5/books/coi/gacc/list-ops-common.lisp text/plain root:root 0o644 37.3 KB
/usr/share/acl2-6.5/books/coi/gacc/list-ops-fast.acl2 text/plain root:root 0o644 531 bytes
/usr/share/acl2-6.5/books/coi/gacc/list-ops-fast.lisp text/x-lisp root:root 0o644 16.2 KB
/usr/share/acl2-6.5/books/coi/gacc/list-ops.lisp text/plain root:root 0o644 13.1 KB
/usr/share/acl2-6.5/books/coi/gacc/mem-fast.acl2 text/plain root:root 0o644 525 bytes
/usr/share/acl2-6.5/books/coi/gacc/mem-fast.lisp text/x-lisp root:root 0o644 7.4 KB
/usr/share/acl2-6.5/books/coi/gacc/mem.lisp text/x-lisp root:root 0o644 7.6 KB
/usr/share/acl2-6.5/books/coi/gacc/ram.lisp text/x-lisp root:root 0o644 66.4 KB
/usr/share/acl2-6.5/books/coi/gacc/ram0.lisp text/x-lisp root:root 0o644 12.1 KB
/usr/share/acl2-6.5/books/coi/gacc/ram2.acl2 text/plain root:root 0o644 522 bytes
/usr/share/acl2-6.5/books/coi/gacc/ram2.lisp text/x-lisp root:root 0o644 15.9 KB
/usr/share/acl2-6.5/books/coi/gacc/ram2b.acl2 text/plain root:root 0o644 522 bytes
/usr/share/acl2-6.5/books/coi/gacc/ram2b.lisp text/x-lisp root:root 0o644 37.3 KB
/usr/share/acl2-6.5/books/coi/gacc/ram3.acl2 text/plain root:root 0o644 522 bytes
/usr/share/acl2-6.5/books/coi/gacc/ram3.lisp text/x-lisp root:root 0o644 235.8 KB
/usr/share/acl2-6.5/books/coi/gacc/top.acl2 text/plain root:root 0o644 647 bytes
/usr/share/acl2-6.5/books/coi/gacc/top.lisp text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.5/books/coi/gacc/tr-path-connection.acl2 text/plain root:root 0o644 540 bytes
/usr/share/acl2-6.5/books/coi/gacc/tr-path-connection.lisp text/x-lisp root:root 0o644 38.9 KB
/usr/share/acl2-6.5/books/coi/gacc/wrap.lisp text/plain root:root 0o644 47.8 KB
/usr/share/acl2-6.5/books/coi/generalize/ root:root 0o755
/usr/share/acl2-6.5/books/coi/generalize/cert.acl2 text/plain root:root 0o644 638 bytes
/usr/share/acl2-6.5/books/coi/generalize/generalize.lisp text/x-lisp root:root 0o644 15.5 KB
/usr/share/acl2-6.5/books/coi/gensym/ root:root 0o755
/usr/share/acl2-6.5/books/coi/gensym/cert.acl2 text/plain root:root 0o644 594 bytes
/usr/share/acl2-6.5/books/coi/gensym/gensym-list.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/coi/gensym/gensym.lisp text/x-lisp root:root 0o644 14.6 KB
/usr/share/acl2-6.5/books/coi/lists/ root:root 0o755
/usr/share/acl2-6.5/books/coi/lists/acl2-count.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-6.5/books/coi/lists/basic.lisp text/plain root:root 0o644 55.0 KB
/usr/share/acl2-6.5/books/coi/lists/cert.acl2 text/plain root:root 0o644 545 bytes
/usr/share/acl2-6.5/books/coi/lists/disjoint.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.5/books/coi/lists/find-index.lisp text/x-lisp root:root 0o644 3.4 KB
/usr/share/acl2-6.5/books/coi/lists/list-top.lisp text/plain root:root 0o644 798 bytes
/usr/share/acl2-6.5/books/coi/lists/listset-induction.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-6.5/books/coi/lists/map-cons.lisp text/plain root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/coi/lists/memberp.lisp text/plain root:root 0o644 8.8 KB
/usr/share/acl2-6.5/books/coi/lists/mixed.lisp text/plain root:root 0o644 866 bytes
/usr/share/acl2-6.5/books/coi/lists/mv-nth.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.5/books/coi/lists/nth-and-update-nth.lisp text/x-lisp root:root 0o644 26.8 KB
/usr/share/acl2-6.5/books/coi/lists/nth-meta.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-6.5/books/coi/lists/nth-meta2.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-6.5/books/coi/lists/remove-induction.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.5/books/coi/lists/remove.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-6.5/books/coi/lists/repeat.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.5/books/coi/lists/set.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-6.5/books/coi/lists/subsetp.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.5/books/coi/lists/update-nth-array.lisp text/plain root:root 0o644 5.2 KB
/usr/share/acl2-6.5/books/coi/maps/ root:root 0o755
/usr/share/acl2-6.5/books/coi/maps/aliases.lisp text/plain root:root 0o644 3.6 KB
/usr/share/acl2-6.5/books/coi/maps/cert.acl2 text/plain root:root 0o644 422 bytes
/usr/share/acl2-6.5/books/coi/maps/maps.lisp text/plain root:root 0o644 40.7 KB
/usr/share/acl2-6.5/books/coi/maps/typed-maps.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-6.5/books/coi/nary/ root:root 0o755
/usr/share/acl2-6.5/books/coi/nary/cert.acl2 text/plain root:root 0o644 504 bytes
/usr/share/acl2-6.5/books/coi/nary/example.lisp text/x-lisp root:root 0o644 16.2 KB
/usr/share/acl2-6.5/books/coi/nary/example2.acl2 text/plain root:root 0o644 72 bytes
/usr/share/acl2-6.5/books/coi/nary/example2.lisp text/x-lisp root:root 0o644 2.1 KB
/usr/share/acl2-6.5/books/coi/nary/nary.lisp text/plain root:root 0o644 41.6 KB
/usr/share/acl2-6.5/books/coi/nary/nth-rules.lisp text/x-lisp root:root 0o644 18.6 KB
/usr/share/acl2-6.5/books/coi/nary/ordinal-order.lisp text/x-lisp root:root 0o644 10.2 KB
/usr/share/acl2-6.5/books/coi/nary/rewrite-equal-hint.lisp text/x-lisp root:root 0o644 8.2 KB
/usr/share/acl2-6.5/books/coi/nary/skip-rewrite.acl2 text/plain root:root 0o644 510 bytes
/usr/share/acl2-6.5/books/coi/nary/skip-rewrite.lisp text/x-lisp root:root 0o644 15.9 KB
/usr/share/acl2-6.5/books/coi/osets/ root:root 0o755
/usr/share/acl2-6.5/books/coi/osets/cert.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/coi/osets/computed-hints.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.5/books/coi/osets/conversions.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.5/books/coi/osets/extras.lisp text/plain root:root 0o644 9.7 KB
/usr/share/acl2-6.5/books/coi/osets/fast.lisp text/x-lisp root:root 0o644 14.9 KB
/usr/share/acl2-6.5/books/coi/osets/instance.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.5/books/coi/osets/listsets.lisp text/plain root:root 0o644 24.1 KB
/usr/share/acl2-6.5/books/coi/osets/map.lisp text/x-lisp root:root 0o644 16.0 KB
/usr/share/acl2-6.5/books/coi/osets/membership.lisp text/x-lisp root:root 0o644 22.6 KB
/usr/share/acl2-6.5/books/coi/osets/multiappend.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-6.5/books/coi/osets/multicons.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-6.5/books/coi/osets/outer.lisp text/x-lisp root:root 0o644 14.6 KB
/usr/share/acl2-6.5/books/coi/osets/primitives.lisp text/x-lisp root:root 0o644 14.1 KB
/usr/share/acl2-6.5/books/coi/osets/quantify.lisp text/x-lisp root:root 0o644 34.0 KB
/usr/share/acl2-6.5/books/coi/osets/set-order.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-6.5/books/coi/osets/set-processor.lisp text/plain root:root 0o644 11.5 KB
/usr/share/acl2-6.5/books/coi/osets/sets.lisp text/x-lisp root:root 0o644 22.6 KB
/usr/share/acl2-6.5/books/coi/osets/sort.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-6.5/books/coi/paths/ root:root 0o755
/usr/share/acl2-6.5/books/coi/paths/cert.acl2 text/plain root:root 0o644 694 bytes
/usr/share/acl2-6.5/books/coi/paths/compatibility.lisp text/plain root:root 0o644 1.2 KB
/usr/share/acl2-6.5/books/coi/paths/cp-set.lisp text/x-lisp root:root 0o644 13.9 KB
/usr/share/acl2-6.5/books/coi/paths/defs.lisp text/plain root:root 0o644 3.1 KB
/usr/share/acl2-6.5/books/coi/paths/diverge.lisp text/plain root:root 0o644 37.6 KB
/usr/share/acl2-6.5/books/coi/paths/dominates.lisp text/plain root:root 0o644 50.5 KB
/usr/share/acl2-6.5/books/coi/paths/equiv.lisp text/plain root:root 0o644 26.2 KB
/usr/share/acl2-6.5/books/coi/paths/hints.lisp text/plain root:root 0o644 6.3 KB
/usr/share/acl2-6.5/books/coi/paths/list-path-connection.lisp text/x-lisp root:root 0o644 14.4 KB
/usr/share/acl2-6.5/books/coi/paths/meta.lisp text/x-lisp root:root 0o644 98.7 KB
/usr/share/acl2-6.5/books/coi/paths/path.lisp text/plain root:root 0o644 236.2 KB
/usr/share/acl2-6.5/books/coi/paths/pm.lisp text/plain root:root 0o644 83.0 KB
/usr/share/acl2-6.5/books/coi/quantification/ root:root 0o755
/usr/share/acl2-6.5/books/coi/quantification/cert.acl2 text/plain root:root 0o644 562 bytes
/usr/share/acl2-6.5/books/coi/quantification/quantification.acl2 text/plain root:root 0o644 154 bytes
/usr/share/acl2-6.5/books/coi/quantification/quantification.lisp text/x-lisp root:root 0o644 49.6 KB
/usr/share/acl2-6.5/books/coi/records/ root:root 0o755
/usr/share/acl2-6.5/books/coi/records/cert.acl2 text/plain root:root 0o644 615 bytes
/usr/share/acl2-6.5/books/coi/records/defarray.acl2 text/plain root:root 0o644 534 bytes
/usr/share/acl2-6.5/books/coi/records/defarray.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-6.5/books/coi/records/defrecord-fast.acl2 text/plain root:root 0o644 531 bytes
/usr/share/acl2-6.5/books/coi/records/defrecord-fast.lisp text/x-lisp root:root 0o644 10.5 KB
/usr/share/acl2-6.5/books/coi/records/defrecord.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-6.5/books/coi/records/domain.acl2 text/plain root:root 0o644 774 bytes
/usr/share/acl2-6.5/books/coi/records/domain.lisp text/plain root:root 0o644 11.6 KB
/usr/share/acl2-6.5/books/coi/records/fast/ root:root 0o755
/usr/share/acl2-6.5/books/coi/records/fast/cert.acl2 text/plain root:root 0o644 263 bytes
/usr/share/acl2-6.5/books/coi/records/fast/log2.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-6.5/books/coi/records/fast/memory-impl.lisp text/x-lisp root:root 0o644 23.0 KB
/usr/share/acl2-6.5/books/coi/records/fast/memory.lisp text/plain root:root 0o644 23.0 KB
/usr/share/acl2-6.5/books/coi/records/fast/memtree.lisp text/x-lisp root:root 0o644 49.4 KB
/usr/share/acl2-6.5/books/coi/records/fast/private.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.5/books/coi/records/fixedpoint.acl2 text/plain root:root 0o644 507 bytes
/usr/share/acl2-6.5/books/coi/records/fixedpoint.lisp text/plain root:root 0o644 12.6 KB
/usr/share/acl2-6.5/books/coi/records/mem-domain.lisp text/x-lisp root:root 0o644 46.9 KB
/usr/share/acl2-6.5/books/coi/records/memory.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-6.5/books/coi/records/record-exports.lisp text/plain root:root 0o644 547 bytes
/usr/share/acl2-6.5/books/coi/records/records.lisp text/x-lisp root:root 0o644 14.9 KB
/usr/share/acl2-6.5/books/coi/records/set-domain.lisp text/x-lisp root:root 0o644 6.4 KB
/usr/share/acl2-6.5/books/coi/super-ihs/ root:root 0o755
/usr/share/acl2-6.5/books/coi/super-ihs/arithmetic.lisp text/plain root:root 0o644 22.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/ash.lisp text/plain root:root 0o644 10.2 KB
/usr/share/acl2-6.5/books/coi/super-ihs/basics.lisp text/plain root:root 0o644 9.4 KB
/usr/share/acl2-6.5/books/coi/super-ihs/bit-functions.lisp text/plain root:root 0o644 7.1 KB
/usr/share/acl2-6.5/books/coi/super-ihs/bit-twiddling-logops.lisp text/plain root:root 0o644 47.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/byte-p.lisp text/plain root:root 0o644 13.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/c-functions.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-6.5/books/coi/super-ihs/carry.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-6.5/books/coi/super-ihs/cert.acl2 text/plain root:root 0o644 424 bytes
/usr/share/acl2-6.5/books/coi/super-ihs/eric.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-6.5/books/coi/super-ihs/evenp.lisp text/x-lisp root:root 0o644 13.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/fast.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-6.5/books/coi/super-ihs/from-rtl.lisp text/plain root:root 0o644 6.0 KB
/usr/share/acl2-6.5/books/coi/super-ihs/hacks.lisp text/plain root:root 0o644 9.6 KB
/usr/share/acl2-6.5/books/coi/super-ihs/inductions.lisp text/x-lisp root:root 0o644 12.4 KB
/usr/share/acl2-6.5/books/coi/super-ihs/iter-sqrt.lisp text/x-lisp root:root 0o644 31.0 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logapp.lisp text/plain root:root 0o644 3.8 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logbit.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logbitp.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logcar.lisp text/plain root:root 0o644 4.1 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logcdr.lisp text/plain root:root 0o644 5.8 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logcons.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logext.lisp text/plain root:root 0o644 3.5 KB
/usr/share/acl2-6.5/books/coi/super-ihs/loghead.lisp text/plain root:root 0o644 37.7 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logical-logops.lisp text/plain root:root 0o644 29.5 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logior-logapp-crock.lisp text/x-lisp root:root 0o644 8.5 KB
/usr/share/acl2-6.5/books/coi/super-ihs/loglist.lisp text/plain root:root 0o644 18.1 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logpair.lisp text/plain root:root 0o644 7.6 KB
/usr/share/acl2-6.5/books/coi/super-ihs/logtail.lisp text/plain root:root 0o644 7.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/lshu.lisp text/plain root:root 0o644 4.3 KB
/usr/share/acl2-6.5/books/coi/super-ihs/meta.lisp text/x-lisp root:root 0o644 7.8 KB
/usr/share/acl2-6.5/books/coi/super-ihs/min-max.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-6.5/books/coi/super-ihs/plus-logapp-suck.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.5/books/coi/super-ihs/signed-byte-p-overflow.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-6.5/books/coi/super-ihs/super-ihs.lisp text/plain root:root 0o644 187.0 KB
/usr/share/acl2-6.5/books/coi/super-ihs/symbols.acl2 text/plain root:root 0o644 456 bytes
/usr/share/acl2-6.5/books/coi/super-ihs/unsigned-byte-p.lisp text/plain root:root 0o644 7.4 KB
/usr/share/acl2-6.5/books/coi/symbol-fns/ root:root 0o755
/usr/share/acl2-6.5/books/coi/symbol-fns/cert.acl2 text/plain root:root 0o644 430 bytes
/usr/share/acl2-6.5/books/coi/symbol-fns/symbol-fns-exports.lisp text/plain root:root 0o644 593 bytes
/usr/share/acl2-6.5/books/coi/symbol-fns/symbol-fns.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-6.5/books/coi/syntax/ root:root 0o755
/usr/share/acl2-6.5/books/coi/syntax/auxilary.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-6.5/books/coi/syntax/cert.acl2 text/plain root:root 0o644 466 bytes
/usr/share/acl2-6.5/books/coi/syntax/defbinding.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-6.5/books/coi/syntax/defevaluator.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-6.5/books/coi/syntax/quine.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-6.5/books/coi/syntax/syn-pkg.lisp text/plain root:root 0o644 419 bytes
/usr/share/acl2-6.5/books/coi/syntax/syntax-extensions.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-6.5/books/coi/syntax/syntax.lisp text/x-lisp root:root 0o644 8.6 KB
/usr/share/acl2-6.5/books/coi/termination/ root:root 0o755
/usr/share/acl2-6.5/books/coi/termination/assuming/ root:root 0o755
/usr/share/acl2-6.5/books/coi/termination/assuming/cert.acl2 text/plain root:root 0o644 688 bytes
/usr/share/acl2-6.5/books/coi/termination/assuming/compiler-proof.lisp text/x-lisp root:root 0o644 37.8 KB
/usr/share/acl2-6.5/books/coi/termination/assuming/compiler.lisp text/x-lisp root:root 0o644 69.4 KB
/usr/share/acl2-6.5/books/coi/termination/assuming/complex.acl2 text/plain root:root 0o644 875 bytes
/usr/share/acl2-6.5/books/coi/termination/assuming/complex.lisp text/x-lisp root:root 0o644 10.3 KB
/usr/share/acl2-6.5/books/coi/termination/assuming/zero.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-6.5/books/coi/util/ root:root 0o755
/usr/share/acl2-6.5/books/coi/util/cert.acl2 text/plain root:root 0o644 424 bytes
/usr/share/acl2-6.5/books/coi/util/clause-processor.lisp text/x-lisp root:root 0o644 6.2 KB
/usr/share/acl2-6.5/books/coi/util/debug.acl2 text/plain root:root 0o644 93 bytes
/usr/share/acl2-6.5/books/coi/util/debug.lisp text/x-lisp root:root 0o644 3.4 KB
/usr/share/acl2-6.5/books/coi/util/defbinding.acl2 text/plain root:root 0o644 74 bytes
/usr/share/acl2-6.5/books/coi/util/defbinding.lisp text/plain root:root 0o644 379 bytes
/usr/share/acl2-6.5/books/coi/util/defdoc.acl2 text/plain root:root 0o644 471 bytes
/usr/share/acl2-6.5/books/coi/util/defdoc.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-6.5/books/coi/util/deffix.acl2 text/plain root:root 0o644 537 bytes
/usr/share/acl2-6.5/books/coi/util/deffix.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-6.5/books/coi/util/defsubtype.acl2 text/plain root:root 0o644 685 bytes
/usr/share/acl2-6.5/books/coi/util/defsubtype.lisp text/x-lisp root:root 0o644 4.3 KB
/usr/share/acl2-6.5/books/coi/util/defun-support.acl2 text/plain root:root 0o644 564 bytes
/usr/share/acl2-6.5/books/coi/util/defun-support.lisp text/x-lisp root:root 0o644 55.6 KB
/usr/share/acl2-6.5/books/coi/util/defun.acl2 text/plain root:root 0o644 578 bytes
/usr/share/acl2-6.5/books/coi/util/defun.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-6.5/books/coi/util/extra-info-test.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-6.5/books/coi/util/extra-info.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-6.5/books/coi/util/fixequiv.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.5/books/coi/util/good-rewrite-order.lisp text/x-lisp root:root 0o644 1.4 KB
/usr/share/acl2-6.5/books/coi/util/ifdef.acl2 text/plain root:root 0o644 470 bytes
/usr/share/acl2-6.5/books/coi/util/ifdef.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-6.5/books/coi/util/iff.lisp text/plain root:root 0o644 685 bytes
/usr/share/acl2-6.5/books/coi/util/ifixequiv.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/coi/util/implies.lisp text/plain root:root 0o644 798 bytes
/usr/share/acl2-6.5/books/coi/util/in-conclusion.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-6.5/books/coi/util/ith.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/coi/util/mv-nth.acl2 text/plain root:root 0o644 474 bytes
/usr/share/acl2-6.5/books/coi/util/mv-nth.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-6.5/books/coi/util/nfixequiv.lisp text/x-lisp root:root 0o644 1.1 KB
/usr/share/acl2-6.5/books/coi/util/ordinal-order.lisp text/x-lisp root:root 0o644 10.2 KB
/usr/share/acl2-6.5/books/coi/util/pseudo-translate.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-6.5/books/coi/util/recursion-support.acl2 text/plain root:root 0o644 129 bytes
/usr/share/acl2-6.5/books/coi/util/recursion-support.lisp text/x-lisp root:root 0o644 11.3 KB
/usr/share/acl2-6.5/books/coi/util/rewrite-equiv.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-6.5/books/coi/util/rule-sets-documentation.acl2 text/plain root:root 0o644 505 bytes
/usr/share/acl2-6.5/books/coi/util/rule-sets-documentation.lisp text/plain root:root 0o644 2.5 KB
/usr/share/acl2-6.5/books/coi/util/rule-sets-support.acl2 text/plain root:root 0o644 505 bytes
/usr/share/acl2-6.5/books/coi/util/rule-sets-support.lisp text/x-lisp root:root 0o644 36.2 KB
/usr/share/acl2-6.5/books/coi/util/rule-sets.acl2 text/plain root:root 0o644 543 bytes
/usr/share/acl2-6.5/books/coi/util/rule-sets.lisp text/plain root:root 0o644 8.2 KB
/usr/share/acl2-6.5/books/coi/util/skip-rewrite.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-6.5/books/coi/util/syntaxp.lisp text/x-lisp root:root 0o644 696 bytes
/usr/share/acl2-6.5/books/coi/util/table.acl2 text/plain root:root 0o644 489 bytes
/usr/share/acl2-6.5/books/coi/util/table.lisp text/x-lisp root:root 0o644 1.1 KB

APT Browse - Built by Thomas Orozco.