acl2-books-source 7.1-1 / usr / share / acl2-7.1 / books / coi

This file is indexed.

/usr/share/acl2-7.1/books/coi/ is in acl2-books-source 7.1-1.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.1/books/coi/adviser/ root:root 0o755
/usr/share/acl2-7.1/books/coi/adviser/adviser-pkg.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/adviser/adviser.lisp text/plain root:root 0o644 38.3 KB
/usr/share/acl2-7.1/books/coi/adviser/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/adviser/test.lisp text/x-lisp root:root 0o644 5.4 KB
/usr/share/acl2-7.1/books/coi/alists/ root:root 0o755
/usr/share/acl2-7.1/books/coi/alists/alist-pkg.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/alists/bindequiv.lisp text/x-lisp root:root 0o644 14.7 KB
/usr/share/acl2-7.1/books/coi/alists/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/alists/clearkey.lisp text/plain root:root 0o644 4.5 KB
/usr/share/acl2-7.1/books/coi/alists/deshadow.lisp text/plain root:root 0o644 6.9 KB
/usr/share/acl2-7.1/books/coi/alists/equiv.lisp text/x-lisp root:root 0o644 12.7 KB
/usr/share/acl2-7.1/books/coi/alists/keyquiv.lisp text/x-lisp root:root 0o644 19.2 KB
/usr/share/acl2-7.1/books/coi/alists/preimage.lisp text/plain root:root 0o644 6.4 KB
/usr/share/acl2-7.1/books/coi/alists/strip.lisp text/plain root:root 0o644 5.7 KB
/usr/share/acl2-7.1/books/coi/alists/subkeyquiv.lisp text/x-lisp root:root 0o644 8.9 KB
/usr/share/acl2-7.1/books/coi/alists/top.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/bags/ root:root 0o755
/usr/share/acl2-7.1/books/coi/bags/basic.lisp text/plain root:root 0o644 131.1 KB
/usr/share/acl2-7.1/books/coi/bags/bind-free-rules.lisp text/x-lisp root:root 0o644 43.2 KB
/usr/share/acl2-7.1/books/coi/bags/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/bags/cons.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-7.1/books/coi/bags/eric-meta.lisp text/plain root:root 0o644 143.5 KB
/usr/share/acl2-7.1/books/coi/bags/extras.lisp text/plain root:root 0o644 1.9 KB
/usr/share/acl2-7.1/books/coi/bags/meta.lisp text/x-lisp root:root 0o644 89.5 KB
/usr/share/acl2-7.1/books/coi/bags/neq.lisp text/x-lisp root:root 0o644 17.9 KB
/usr/share/acl2-7.1/books/coi/bags/pick-a-point.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-7.1/books/coi/bags/top.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-7.1/books/coi/bags/two-level-meta.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-7.1/books/coi/bags/two-level.lisp text/plain root:root 0o644 9.1 KB
/usr/share/acl2-7.1/books/coi/defpun/ root:root 0o755
/usr/share/acl2-7.1/books/coi/defpun/ack.lisp text/x-lisp root:root 0o644 7.5 KB
/usr/share/acl2-7.1/books/coi/defpun/defminterm.lisp text/x-lisp root:root 0o644 41.1 KB
/usr/share/acl2-7.1/books/coi/defpun/defpun.lisp text/x-lisp root:root 0o644 22.7 KB
/usr/share/acl2-7.1/books/coi/defpun/defxch.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-7.1/books/coi/defstructure/ root:root 0o755
/usr/share/acl2-7.1/books/coi/defstructure/cert.acl2 text/plain root:root 0o644 465 bytes
/usr/share/acl2-7.1/books/coi/defstructure/defstructure-pkg.lisp text/plain root:root 0o644 427 bytes
/usr/share/acl2-7.1/books/coi/defstructure/defstructure.lisp text/plain root:root 0o644 118.7 KB
/usr/share/acl2-7.1/books/coi/defung/ root:root 0o755
/usr/share/acl2-7.1/books/coi/defung/ack-variants.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-7.1/books/coi/defung/cert.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/defung/defung-stress-long.lisp text/plain root:root 0o644 2.0 KB
/usr/share/acl2-7.1/books/coi/defung/defung-stress.lisp text/plain root:root 0o644 6.5 KB
/usr/share/acl2-7.1/books/coi/defung/defung-test.lisp text/plain root:root 0o644 14.7 KB
/usr/share/acl2-7.1/books/coi/defung/defung.lisp text/x-lisp root:root 0o644 75.8 KB
/usr/share/acl2-7.1/books/coi/defung/fractran.lisp text/x-lisp root:root 0o644 2.9 KB
/usr/share/acl2-7.1/books/coi/defung/map-ec-call.lisp text/x-lisp root:root 0o644 4.7 KB
/usr/share/acl2-7.1/books/coi/defung/monadic.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-7.1/books/coi/defung/phony-induction.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-7.1/books/coi/defung/rev3.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.1/books/coi/defung/split.lisp text/x-lisp root:root 0o644 49.9 KB
/usr/share/acl2-7.1/books/coi/dtrees/ root:root 0o755
/usr/share/acl2-7.1/books/coi/dtrees/base.lisp text/plain root:root 0o644 30.3 KB
/usr/share/acl2-7.1/books/coi/dtrees/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/dtrees/child.lisp text/plain root:root 0o644 8.0 KB
/usr/share/acl2-7.1/books/coi/dtrees/deps.lisp text/plain root:root 0o644 28.3 KB
/usr/share/acl2-7.1/books/coi/dtrees/dtree-examples.lisp text/x-lisp root:root 0o644 16.9 KB
/usr/share/acl2-7.1/books/coi/dtrees/equiv.lisp text/plain root:root 0o644 36.6 KB
/usr/share/acl2-7.1/books/coi/dtrees/erase.lisp text/x-lisp root:root 0o644 19.4 KB
/usr/share/acl2-7.1/books/coi/dtrees/leafp.lisp text/plain root:root 0o644 14.1 KB
/usr/share/acl2-7.1/books/coi/dtrees/raw.lisp text/plain root:root 0o644 9.5 KB
/usr/share/acl2-7.1/books/coi/dtrees/royalp.lisp text/x-lisp root:root 0o644 12.9 KB
/usr/share/acl2-7.1/books/coi/dtrees/set.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-7.1/books/coi/dtrees/top.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/gacc/ root:root 0o755
/usr/share/acl2-7.1/books/coi/gacc/abstract-gacc.lisp text/x-lisp root:root 0o644 28.0 KB
/usr/share/acl2-7.1/books/coi/gacc/addr-range.lisp text/plain root:root 0o644 12.3 KB
/usr/share/acl2-7.1/books/coi/gacc/bits.lisp text/x-lisp root:root 0o644 13.6 KB
/usr/share/acl2-7.1/books/coi/gacc/block.lisp text/plain root:root 0o644 20.0 KB
/usr/share/acl2-7.1/books/coi/gacc/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/finite.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/gacc/finite.lisp text/x-lisp root:root 0o644 50.4 KB
/usr/share/acl2-7.1/books/coi/gacc/fr-path-connection.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/fr-path-connection.lisp text/x-lisp root:root 0o644 65.7 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc-exports.lisp text/plain root:root 0o644 27.3 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc-pkg.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc.lisp text/x-lisp root:root 0o644 42.0 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc2.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc2.lisp text/x-lisp root:root 0o644 37.5 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc3.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/gacc/gacc3.lisp text/x-lisp root:root 0o644 91.8 KB
/usr/share/acl2-7.1/books/coi/gacc/gax.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/gacc/gax.lisp text/x-lisp root:root 0o644 56.6 KB
/usr/share/acl2-7.1/books/coi/gacc/list-ops-common.lisp text/plain root:root 0o644 38.1 KB
/usr/share/acl2-7.1/books/coi/gacc/list-ops-fast.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/list-ops-fast.lisp text/x-lisp root:root 0o644 17.0 KB
/usr/share/acl2-7.1/books/coi/gacc/list-ops.lisp text/plain root:root 0o644 14.0 KB
/usr/share/acl2-7.1/books/coi/gacc/mem-fast.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/mem-fast.lisp text/x-lisp root:root 0o644 8.3 KB
/usr/share/acl2-7.1/books/coi/gacc/mem.lisp text/x-lisp root:root 0o644 8.5 KB
/usr/share/acl2-7.1/books/coi/gacc/ram.lisp text/plain root:root 0o644 67.0 KB
/usr/share/acl2-7.1/books/coi/gacc/ram0.lisp text/x-lisp root:root 0o644 13.0 KB
/usr/share/acl2-7.1/books/coi/gacc/ram2.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/ram2.lisp text/x-lisp root:root 0o644 16.7 KB
/usr/share/acl2-7.1/books/coi/gacc/ram2b.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/ram2b.lisp text/x-lisp root:root 0o644 38.0 KB
/usr/share/acl2-7.1/books/coi/gacc/ram3.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/ram3.lisp text/x-lisp root:root 0o644 236.1 KB
/usr/share/acl2-7.1/books/coi/gacc/top.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/gacc/top.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-7.1/books/coi/gacc/tr-path-connection.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/gacc/tr-path-connection.lisp text/x-lisp root:root 0o644 39.6 KB
/usr/share/acl2-7.1/books/coi/gacc/wrap.lisp text/plain root:root 0o644 48.4 KB
/usr/share/acl2-7.1/books/coi/generalize/ root:root 0o755
/usr/share/acl2-7.1/books/coi/generalize/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/generalize/generalize.lisp text/x-lisp root:root 0o644 16.3 KB
/usr/share/acl2-7.1/books/coi/gensym/ root:root 0o755
/usr/share/acl2-7.1/books/coi/gensym/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/gensym/gensym-list.lisp text/x-lisp root:root 0o644 4.1 KB
/usr/share/acl2-7.1/books/coi/gensym/gensym.lisp text/x-lisp root:root 0o644 15.3 KB
/usr/share/acl2-7.1/books/coi/lists/ root:root 0o755
/usr/share/acl2-7.1/books/coi/lists/acl2-count.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-7.1/books/coi/lists/basic.lisp text/plain root:root 0o644 55.7 KB
/usr/share/acl2-7.1/books/coi/lists/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/lists/disjoint.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-7.1/books/coi/lists/find-index.lisp text/x-lisp root:root 0o644 4.2 KB
/usr/share/acl2-7.1/books/coi/lists/list-top.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/coi/lists/listset-induction.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-7.1/books/coi/lists/map-cons.lisp text/plain root:root 0o644 4.2 KB
/usr/share/acl2-7.1/books/coi/lists/memberp.lisp text/plain root:root 0o644 9.7 KB
/usr/share/acl2-7.1/books/coi/lists/mixed.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/coi/lists/mv-nth.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-7.1/books/coi/lists/nth-and-update-nth.lisp text/plain root:root 0o644 27.6 KB
/usr/share/acl2-7.1/books/coi/lists/nth-meta.lisp text/x-lisp root:root 0o644 6.5 KB
/usr/share/acl2-7.1/books/coi/lists/nth-meta2.lisp text/x-lisp root:root 0o644 4.4 KB
/usr/share/acl2-7.1/books/coi/lists/remove-induction.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-7.1/books/coi/lists/remove.lisp text/x-lisp root:root 0o644 7.2 KB
/usr/share/acl2-7.1/books/coi/lists/repeat.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-7.1/books/coi/lists/set.lisp text/x-lisp root:root 0o644 14.5 KB
/usr/share/acl2-7.1/books/coi/lists/subsetp.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-7.1/books/coi/lists/update-nth-array.lisp text/plain root:root 0o644 6.0 KB
/usr/share/acl2-7.1/books/coi/maps/ root:root 0o755
/usr/share/acl2-7.1/books/coi/maps/aliases.lisp text/plain root:root 0o644 4.5 KB
/usr/share/acl2-7.1/books/coi/maps/cert.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/maps/maps.lisp text/plain root:root 0o644 41.5 KB
/usr/share/acl2-7.1/books/coi/maps/typed-maps.lisp text/x-lisp root:root 0o644 6.3 KB
/usr/share/acl2-7.1/books/coi/nary/ root:root 0o755
/usr/share/acl2-7.1/books/coi/nary/cert.acl2 text/plain root:root 0o644 1.8 KB
/usr/share/acl2-7.1/books/coi/nary/example.lisp text/x-lisp root:root 0o644 17.8 KB
/usr/share/acl2-7.1/books/coi/nary/example2.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/nary/example2.lisp text/x-lisp root:root 0o644 3.4 KB
/usr/share/acl2-7.1/books/coi/nary/nary.lisp text/plain root:root 0o644 42.3 KB
/usr/share/acl2-7.1/books/coi/nary/nth-rules.lisp text/x-lisp root:root 0o644 19.5 KB
/usr/share/acl2-7.1/books/coi/nary/ordinal-order.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/coi/nary/rewrite-equal-hint.lisp text/x-lisp root:root 0o644 9.1 KB
/usr/share/acl2-7.1/books/coi/nary/skip-rewrite.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/nary/skip-rewrite.lisp text/x-lisp root:root 0o644 16.8 KB
/usr/share/acl2-7.1/books/coi/osets/ root:root 0o755
/usr/share/acl2-7.1/books/coi/osets/cert.acl2 text/plain root:root 0o644 1.1 KB
/usr/share/acl2-7.1/books/coi/osets/conversions.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-7.1/books/coi/osets/extras.lisp text/plain root:root 0o644 9.9 KB
/usr/share/acl2-7.1/books/coi/osets/fast.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-7.1/books/coi/osets/listsets.lisp text/plain root:root 0o644 24.1 KB
/usr/share/acl2-7.1/books/coi/osets/map.lisp text/x-lisp root:root 0o644 16.7 KB
/usr/share/acl2-7.1/books/coi/osets/membership.lisp text/x-lisp root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/coi/osets/multiappend.lisp text/x-lisp root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/osets/multicons.lisp text/x-lisp root:root 0o644 5.0 KB
/usr/share/acl2-7.1/books/coi/osets/outer.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-7.1/books/coi/osets/primitives.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-7.1/books/coi/osets/quantify.lisp text/x-lisp root:root 0o644 35.7 KB
/usr/share/acl2-7.1/books/coi/osets/set-order.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-7.1/books/coi/osets/set-processor.lisp text/plain root:root 0o644 11.5 KB
/usr/share/acl2-7.1/books/coi/osets/sets.lisp text/x-lisp root:root 0o644 4.6 KB
/usr/share/acl2-7.1/books/coi/osets/sort.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-7.1/books/coi/paths/ root:root 0o755
/usr/share/acl2-7.1/books/coi/paths/cert.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/paths/compatibility.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-7.1/books/coi/paths/cp-set.lisp text/x-lisp root:root 0o644 14.8 KB
/usr/share/acl2-7.1/books/coi/paths/defs.lisp text/plain root:root 0o644 4.0 KB
/usr/share/acl2-7.1/books/coi/paths/diverge.lisp text/plain root:root 0o644 38.4 KB
/usr/share/acl2-7.1/books/coi/paths/dominates.lisp text/plain root:root 0o644 51.2 KB
/usr/share/acl2-7.1/books/coi/paths/equiv.lisp text/plain root:root 0o644 27.1 KB
/usr/share/acl2-7.1/books/coi/paths/hints.lisp text/plain root:root 0o644 7.2 KB
/usr/share/acl2-7.1/books/coi/paths/list-path-connection.lisp text/x-lisp root:root 0o644 15.3 KB
/usr/share/acl2-7.1/books/coi/paths/meta.lisp text/x-lisp root:root 0o644 99.5 KB
/usr/share/acl2-7.1/books/coi/paths/path.lisp text/plain root:root 0o644 236.0 KB
/usr/share/acl2-7.1/books/coi/paths/pm.lisp text/plain root:root 0o644 83.8 KB
/usr/share/acl2-7.1/books/coi/quantification/ root:root 0o755
/usr/share/acl2-7.1/books/coi/quantification/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/quantification/quantification.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/quantification/quantification.lisp text/x-lisp root:root 0o644 50.4 KB
/usr/share/acl2-7.1/books/coi/records/ root:root 0o755
/usr/share/acl2-7.1/books/coi/records/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/records/defarray.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/records/defarray.lisp text/x-lisp root:root 0o644 2.6 KB
/usr/share/acl2-7.1/books/coi/records/defrecord-fast.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/records/defrecord-fast.lisp text/x-lisp root:root 0o644 11.2 KB
/usr/share/acl2-7.1/books/coi/records/defrecord.lisp text/x-lisp root:root 0o644 14.3 KB
/usr/share/acl2-7.1/books/coi/records/domain.acl2 text/plain root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/coi/records/domain.lisp text/plain root:root 0o644 12.4 KB
/usr/share/acl2-7.1/books/coi/records/fast/ root:root 0o755
/usr/share/acl2-7.1/books/coi/records/fast/cert.acl2 text/plain root:root 0o644 263 bytes
/usr/share/acl2-7.1/books/coi/records/fast/log2.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-7.1/books/coi/records/fast/memory-impl.lisp text/x-lisp root:root 0o644 23.0 KB
/usr/share/acl2-7.1/books/coi/records/fast/memory.lisp text/plain root:root 0o644 28.9 KB
/usr/share/acl2-7.1/books/coi/records/fast/memtree.lisp text/x-lisp root:root 0o644 49.4 KB
/usr/share/acl2-7.1/books/coi/records/fast/private.lisp text/x-lisp root:root 0o644 5.5 KB
/usr/share/acl2-7.1/books/coi/records/fixedpoint.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/records/fixedpoint.lisp text/plain root:root 0o644 13.5 KB
/usr/share/acl2-7.1/books/coi/records/mem-domain.lisp text/x-lisp root:root 0o644 47.6 KB
/usr/share/acl2-7.1/books/coi/records/memory.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-7.1/books/coi/records/record-exports.lisp text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/records/records.lisp text/x-lisp root:root 0o644 15.8 KB
/usr/share/acl2-7.1/books/coi/records/set-domain.lisp text/x-lisp root:root 0o644 7.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/ root:root 0o755
/usr/share/acl2-7.1/books/coi/super-ihs/arithmetic.lisp text/plain root:root 0o644 23.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/ash.lisp text/plain root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/coi/super-ihs/basics.lisp text/plain root:root 0o644 10.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/bit-functions.lisp text/plain root:root 0o644 7.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/bit-twiddling-logops.lisp text/plain root:root 0o644 48.1 KB
/usr/share/acl2-7.1/books/coi/super-ihs/byte-p.lisp text/plain root:root 0o644 14.1 KB
/usr/share/acl2-7.1/books/coi/super-ihs/c-functions.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/carry.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.1/books/coi/super-ihs/cert.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/eric.lisp text/x-lisp root:root 0o644 8.0 KB
/usr/share/acl2-7.1/books/coi/super-ihs/evenp.lisp text/x-lisp root:root 0o644 14.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/fast.lisp text/plain root:root 0o644 2.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/from-rtl.lisp text/plain root:root 0o644 6.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/hacks.lisp text/plain root:root 0o644 10.5 KB
/usr/share/acl2-7.1/books/coi/super-ihs/inductions.lisp text/x-lisp root:root 0o644 13.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/iter-sqrt.lisp text/plain root:root 0o644 31.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logapp.lisp text/plain root:root 0o644 4.7 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logbit.lisp text/plain root:root 0o644 3.0 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logbitp.lisp text/plain root:root 0o644 3.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logcar.lisp text/plain root:root 0o644 5.0 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logcdr.lisp text/plain root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logcons.lisp text/plain root:root 0o644 2.4 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logext.lisp text/plain root:root 0o644 4.4 KB
/usr/share/acl2-7.1/books/coi/super-ihs/loghead.lisp text/plain root:root 0o644 38.5 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logical-logops.lisp text/plain root:root 0o644 30.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logior-logapp-crock.lisp text/x-lisp root:root 0o644 9.4 KB
/usr/share/acl2-7.1/books/coi/super-ihs/loglist.lisp text/plain root:root 0o644 18.9 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logpair.lisp text/plain root:root 0o644 8.4 KB
/usr/share/acl2-7.1/books/coi/super-ihs/logtail.lisp text/plain root:root 0o644 8.1 KB
/usr/share/acl2-7.1/books/coi/super-ihs/lshu.lisp text/plain root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/meta.lisp text/x-lisp root:root 0o644 8.7 KB
/usr/share/acl2-7.1/books/coi/super-ihs/min-max.lisp text/plain root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/plus-logapp-suck.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/coi/super-ihs/signed-byte-p-overflow.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-7.1/books/coi/super-ihs/super-ihs.lisp text/plain root:root 0o644 187.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/symbols.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/super-ihs/unsigned-byte-p.lisp text/plain root:root 0o644 8.3 KB
/usr/share/acl2-7.1/books/coi/symbol-fns/ root:root 0o755
/usr/share/acl2-7.1/books/coi/symbol-fns/cert.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/symbol-fns/symbol-fns-exports.lisp text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/symbol-fns/symbol-fns.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/coi/syntax/ root:root 0o755
/usr/share/acl2-7.1/books/coi/syntax/auxilary.lisp text/x-lisp root:root 0o644 2.4 KB
/usr/share/acl2-7.1/books/coi/syntax/cert.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/syntax/defbinding.lisp text/x-lisp root:root 0o644 4.5 KB
/usr/share/acl2-7.1/books/coi/syntax/defevaluator.lisp text/x-lisp root:root 0o644 5.6 KB
/usr/share/acl2-7.1/books/coi/syntax/quine.lisp text/x-lisp root:root 0o644 4.0 KB
/usr/share/acl2-7.1/books/coi/syntax/syn-pkg.lisp text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/syntax/syntax-extensions.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-7.1/books/coi/syntax/syntax.lisp text/x-lisp root:root 0o644 9.5 KB
/usr/share/acl2-7.1/books/coi/termination/ root:root 0o755
/usr/share/acl2-7.1/books/coi/termination/assuming/ root:root 0o755
/usr/share/acl2-7.1/books/coi/termination/assuming/cert.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/termination/assuming/compiler-proof.lisp text/x-lisp root:root 0o644 38.6 KB
/usr/share/acl2-7.1/books/coi/termination/assuming/compiler.lisp text/x-lisp root:root 0o644 69.9 KB
/usr/share/acl2-7.1/books/coi/termination/assuming/complex.acl2 text/plain root:root 0o644 2.1 KB
/usr/share/acl2-7.1/books/coi/termination/assuming/complex.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/coi/termination/assuming/zero.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-7.1/books/coi/util/ root:root 0o755
/usr/share/acl2-7.1/books/coi/util/cert.acl2 text/plain root:root 0o644 1.3 KB
/usr/share/acl2-7.1/books/coi/util/clause-processor.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-7.1/books/coi/util/debug.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/debug.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/coi/util/defbinding.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/defbinding.lisp text/plain root:root 0o644 1.7 KB
/usr/share/acl2-7.1/books/coi/util/defdoc.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/defdoc.lisp text/x-lisp root:root 0o644 4.9 KB
/usr/share/acl2-7.1/books/coi/util/deffix.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/deffix.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-7.1/books/coi/util/defsubtype.acl2 text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/util/defsubtype.lisp text/x-lisp root:root 0o644 5.2 KB
/usr/share/acl2-7.1/books/coi/util/defun-support.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/defun-support.lisp text/x-lisp root:root 0o644 56.4 KB
/usr/share/acl2-7.1/books/coi/util/defun.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.1/books/coi/util/defun.lisp text/x-lisp root:root 0o644 9.7 KB
/usr/share/acl2-7.1/books/coi/util/extra-info-test.lisp text/x-lisp root:root 0o644 3.2 KB
/usr/share/acl2-7.1/books/coi/util/extra-info.lisp text/plain root:root 0o644 2.3 KB
/usr/share/acl2-7.1/books/coi/util/fixequiv.lisp text/x-lisp root:root 0o644 5.1 KB
/usr/share/acl2-7.1/books/coi/util/good-rewrite-order.lisp text/x-lisp root:root 0o644 2.3 KB
/usr/share/acl2-7.1/books/coi/util/ifdef.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/ifdef.lisp text/x-lisp root:root 0o644 7.9 KB
/usr/share/acl2-7.1/books/coi/util/iff.lisp text/plain root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/util/ifixequiv.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-7.1/books/coi/util/implies.lisp text/plain root:root 0o644 2.1 KB
/usr/share/acl2-7.1/books/coi/util/in-conclusion.lisp text/x-lisp root:root 0o644 5.8 KB
/usr/share/acl2-7.1/books/coi/util/ith.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-7.1/books/coi/util/mv-nth.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/mv-nth.lisp text/x-lisp root:root 0o644 3.5 KB
/usr/share/acl2-7.1/books/coi/util/nfixequiv.lisp text/x-lisp root:root 0o644 2.0 KB
/usr/share/acl2-7.1/books/coi/util/ordinal-order.lisp text/x-lisp root:root 0o644 11.1 KB
/usr/share/acl2-7.1/books/coi/util/pseudo-translate.lisp text/x-lisp root:root 0o644 3.0 KB
/usr/share/acl2-7.1/books/coi/util/recursion-support.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/recursion-support.lisp text/x-lisp root:root 0o644 12.6 KB
/usr/share/acl2-7.1/books/coi/util/rewrite-equiv.lisp text/x-lisp root:root 0o644 6.7 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets-documentation.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets-documentation.lisp text/plain root:root 0o644 6.0 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets-support.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets-support.lisp text/x-lisp root:root 0o644 37.0 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/rule-sets.lisp text/plain root:root 0o644 9.0 KB
/usr/share/acl2-7.1/books/coi/util/skip-rewrite.lisp text/x-lisp root:root 0o644 3.7 KB
/usr/share/acl2-7.1/books/coi/util/syntaxp.lisp text/x-lisp root:root 0o644 1.6 KB
/usr/share/acl2-7.1/books/coi/util/table.acl2 text/plain root:root 0o644 1.4 KB
/usr/share/acl2-7.1/books/coi/util/table.lisp text/x-lisp root:root 0o644 2.0 KB

APT Browse - Built by Thomas Orozco.