acl2-books-source 7.2dfsg-3 / usr / share / acl2-7.2dfsg / books / std / osets

This file is indexed.

/usr/share/acl2-7.2dfsg/books/std/osets/ is in acl2-books-source 7.2dfsg-3.

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

File Mime Type Owner Mode Size
..
/usr/share/acl2-7.2dfsg/books/std/osets/cardinality.lisp text/x-lisp root:root 0o644 6.1 KB
/usr/share/acl2-7.2dfsg/books/std/osets/cert.acl2 text/plain root:root 0o644 1.5 KB
/usr/share/acl2-7.2dfsg/books/std/osets/computed-hints.lisp text/x-lisp root:root 0o644 15.1 KB
/usr/share/acl2-7.2dfsg/books/std/osets/delete.lisp text/x-lisp root:root 0o644 3.3 KB
/usr/share/acl2-7.2dfsg/books/std/osets/difference.lisp text/x-lisp root:root 0o644 8.1 KB
/usr/share/acl2-7.2dfsg/books/std/osets/element-list.lisp text/plain root:root 0o644 4.3 KB
/usr/share/acl2-7.2dfsg/books/std/osets/instance.lisp text/x-lisp root:root 0o644 23.5 KB
/usr/share/acl2-7.2dfsg/books/std/osets/intersect.lisp text/x-lisp root:root 0o644 10.8 KB
/usr/share/acl2-7.2dfsg/books/std/osets/map-tests.lisp text/x-lisp root:root 0o644 3.1 KB
/usr/share/acl2-7.2dfsg/books/std/osets/map.lisp text/x-lisp root:root 0o644 14.9 KB
/usr/share/acl2-7.2dfsg/books/std/osets/membership.lisp text/plain root:root 0o644 29.3 KB
/usr/share/acl2-7.2dfsg/books/std/osets/outer.lisp text/x-lisp root:root 0o644 7.1 KB
/usr/share/acl2-7.2dfsg/books/std/osets/primitives.lisp text/plain root:root 0o644 17.9 KB
/usr/share/acl2-7.2dfsg/books/std/osets/quantify-tests.lisp text/x-lisp root:root 0o644 2.8 KB
/usr/share/acl2-7.2dfsg/books/std/osets/quantify.lisp text/x-lisp root:root 0o644 31.6 KB
/usr/share/acl2-7.2dfsg/books/std/osets/sort.lisp text/x-lisp root:root 0o644 11.6 KB
/usr/share/acl2-7.2dfsg/books/std/osets/top.lisp text/plain root:root 0o644 34.2 KB
/usr/share/acl2-7.2dfsg/books/std/osets/under-set-equiv.lisp text/x-lisp root:root 0o644 5.7 KB
/usr/share/acl2-7.2dfsg/books/std/osets/union.lisp text/x-lisp root:root 0o644 6.8 KB

APT Browse - Built by Thomas Orozco.