package info (click to toggle)
hol-light 20190729-4
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 42,676 kB
  • sloc: ml: 637,078; cpp: 439; makefile: 301; lisp: 286; java: 279; sh: 239; yacc: 108; perl: 78; ansic: 57; sed: 39; python: 13

Folder: 20190729-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 4,096 .pc
d d rwxr-xr-x 4,096 100
d d rwxr-xr-x 4,096 Arithmetic
d d rwxr-xr-x 4,096 Boyer_Moore
d d rwxr-xr-x 4,096 Complex
d d rwxr-xr-x 4,096 Examples
d d rwxr-xr-x 4,096 Formal_ineqs
d d rwxr-xr-x 79 Functionspaces
d d rwxr-xr-x 100 Geometric_Algebra
d d rwxr-xr-x 32,768 Help
d d rwxr-xr-x 4,096 IEEE
d d rwxr-xr-x 137 IsabelleLight
d d rwxr-xr-x 4,096 Jordan
d d rwxr-xr-x 101 LP_arith
d d rwxr-xr-x 4,096 Library
d d rwxr-xr-x 4,096 Logic
d d rwxr-xr-x 4,096 Minisat
d d rwxr-xr-x 132 Mizarlight
d d rwxr-xr-x 93 Model
d d rwxr-xr-x 4,096 Multivariate
d d rwxr-xr-x 21 Ntrie
d d rwxr-xr-x 154 Permutation
d d rwxr-xr-x 93 ProofTrace
d d rwxr-xr-x 79 Proofrecording
d d rwxr-xr-x 101 QBF
d d rwxr-xr-x 4,096 Quaternions
d d rwxr-xr-x 4,096 RichterHilbertAxiomGeometry
d d rwxr-xr-x 4,096 Rqe
d d rwxr-xr-x 4,096 Tutorial
d d rwxr-xr-x 4,096 Unity
d d rwxr-xr-x 4,096 debian
d d rwxr-xr-x 4,096 miz3
- - rw-r--r-- 57 .gitattributes
- - rw-r--r-- 58 .gitignore
- - rw-r--r-- 593,305 CHANGES
- - rw-r--r-- 1,631 LICENSE
- - rw-r--r-- 9,093 Makefile
- - rw-r--r-- 92,688 QUICK_REFERENCE.txt
- - rw-r--r-- 10,915 README
- - rw-r--r-- 19,738 VERYQUICK_REFERENCE.txt
- - rw-r--r-- 70,728 arith.ml
- - rw-r--r-- 17,311 basics.ml
- - rw-r--r-- 17,594 bool.ml
- - rw-r--r-- 15,058 calc_int.ml
- - rw-r--r-- 67,818 calc_num.ml
- - rw-r--r-- 28,528 calc_rat.ml
- - rw-r--r-- 33,849 canon.ml
- - rw-r--r-- 29,585 cart.ml
- - rw-r--r-- 20,047 class.ml
- - rw-r--r-- 28,387 compute.ml
- - rw-r--r-- 86,109 database.ml
- - rw-r--r-- 45,510 define.ml
- - rw-r--r-- 971 doc-to-help.sed
- - rw-r--r-- 24,402 drule.ml
- - rw-r--r-- 12,542 equal.ml
- - rw-r--r-- 8,383 firstorder.ml
- - rw-r--r-- 28,469 fusion.ml
- - rw-r--r-- 32,116 grobner.ml
- - rw-r--r-- 5,805 help.ml
- - rw-r--r-- 9,445 hol.ml
- - rwxr-xr-x 16,479 holtest
- - rw-r--r-- 7,499 holtest.mk
- - rwxr-xr-x 1,281 holtest_parallel
- - rw-r--r-- 66,157 impconv.ml
- - rw-r--r-- 20,329 ind_defs.ml
- - rw-r--r-- 72,250 ind_types.ml
- - rw-r--r-- 88,603 int.ml
- - rw-r--r-- 3,952 itab.ml
- - rw-r--r-- 111,255 iterate.ml
- - rw-r--r-- 29,537 lib.ml
- - rw-r--r-- 31,211 lists.ml
- - rw-r--r-- 2,542 make.ml
- - rw-r--r-- 36,726 meson.ml
- - rw-r--r-- 338,991 metis.ml
- - rw-r--r-- 5,697 nets.ml
- - rw-r--r-- 24,959 normalizer.ml
- - rw-r--r-- 13,786 nums.ml
- - rw-r--r-- 85,259 pa_j_3.07.ml
- - rw-r--r-- 77,696 pa_j_3.08.ml
- - rw-r--r-- 78,877 pa_j_3.09.ml
- - rw-r--r-- 69,131 pa_j_3.1x_5.xx.ml
- - rw-r--r-- 96,954 pa_j_3.1x_6.02.1.ml
- - rw-r--r-- 96,841 pa_j_3.1x_6.02.2.ml
- - rw-r--r-- 100,835 pa_j_3.1x_6.11.ml
- - rw-r--r-- 96,839 pa_j_3.1x_6.xx.ml
- - rw-r--r-- 100,960 pa_j_4.xx_7.06.ml
- - rwxr-xr-x 101,155 pa_j_4.xx_7.xx.ml
- - rw-r--r-- 19,347 pair.ml
- - rw-r--r-- 23,986 parser.ml
- - rw-r--r-- 19,725 preterm.ml
- - rw-r--r-- 25,380 printer.ml
- - rw-r--r-- 8,189 quot.ml
- - rw-r--r-- 69,259 real.ml
- - rw-r--r-- 26,170 realarith.ml
- - rw-r--r-- 89,342 realax.ml
- - rw-r--r-- 5,682 recursion.ml
- - rw-r--r-- 194,498 sets.ml
- - rw-r--r-- 24,670 simp.ml
- - rw-r--r-- 2,461 system.ml
- - rw-r--r-- 36,567 tactics.ml
- - rw-r--r-- 54,666 thecops.ml
- - rw-r--r-- 20,644 theorems.ml
- - rw-r--r-- 3,518 trivia.ml
- - rwxr-xr-x 9,027 update_database_3.ml
- - rwxr-xr-x 8,662 update_database_4.ml
- - rw-r--r-- 18,660 wf.ml