Web Server Statistics for the Computer Laboratory (Lawrence Paulson's pages only)

Program started at Mon-18-Jun-2018 14:19.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-18-Jun-2018 13:56 (1320.95 days).

General Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report contains overall statistics.

Figures in parentheses refer to the 7-day period ending 18-Jun-2018 14:19.

Successful requests: 23,259 (3,337)
Average successful requests per day: 17 (476)
Successful requests for pages: 9,372 (1,557)
Average successful requests for pages per day: 7 (222)
Failed requests: 786 (78)
Redirected requests: 148 (24)
Distinct files requested: 584 (455)
Distinct hosts served: 4,900 (855)
Corrupt logfile lines: 34
Unwanted logfile entries: 17,603
Data transferred: 5.91 gigabytes (515.48 megabytes)
Average data transferred per day: 4.58 megabytes (73.64 megabytes)

Daily Summary

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the total activity for each day of the week, summed over all the weeks in the report.

Each unit (+) represents 40 requests for pages or part thereof.

dayreqspages 
Sun2652994+++++++++++++++++++++++++
Mon47521814++++++++++++++++++++++++++++++++++++++++++++++
Tue29081133+++++++++++++++++++++++++++++
Wed32401336++++++++++++++++++++++++++++++++++
Thu34311534+++++++++++++++++++++++++++++++++++++++
Fri28411140+++++++++++++++++++++++++++++
Sat34351421++++++++++++++++++++++++++++++++++++

Domain Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the countries of the computers which requested files.

Listing domains, sorted by the amount of traffic.

reqs%bytesdomain
1060958.26%.com (Commercial)
567516.59%[unresolved numerical addresses]
1417 5.69%.net (Networks)
1523 5.29%[domain not given]
852 3.45%.de (Germany)
298 1.11%[unknown domain]
258 1.00%.in (India)
236 0.90%.edu (USA Higher Education)
326 0.80%.uk (United Kingdom)
90 0.74%.fr (France)
259 0.47%.ru (Russia)
54 0.47%.ph (Philippines)
91 0.41%.au (Australia)
145 0.34%.jp (Japan)
69 0.33%.br (Brazil)
53 0.24%.se (Sweden)
28 0.23%.co (Colombia)
26 0.22%.th (Thailand)
62 0.21%.ca (Canada)
63 0.20%.pt (Portugal)
52 0.19%.zw (Zimbabwe)
44 0.17%.nz (New Zealand)
90 0.16%.it (Italy)
18 0.13%.za (South Africa)
12 0.13%.pk (Pakistan)
25 0.13%.ke (Kenya)
36 0.11%.at (Austria)
7 0.11%.np (Nepal)
22 0.11%.my (Malaysia)
53 0.11%.org (Non Profit Making Organisations)
40 0.10%.sg (Singapore)
90 0.09%.nl (Netherlands)
5 0.09%.ng (Nigeria)
11 0.09%.id (Indonesia)
30 0.08%.cn (China)
19 0.07%.vn (Vietnam)
33 0.07%.pl (Poland)
26 0.07%.es (Spain)
37 0.06%.ch (Switzerland)
30 0.06%.dk (Denmark)
12 0.06%.arpa (Arpanet)
5 0.06%.il (Israel)
21 0.05%.ar (Argentina)
8 0.05%.hr (Croatia)
21 0.05%.mx (Mexico)
37 0.04%.gr (Greece)
13 0.04%.bg (Bulgaria)
20 0.04%.fi (Finland)
3 0.04%.ie (Ireland)
26 0.03%.hu (Hungary)
22 0.03%.no (Norway)
11 0.03%.tw (Taiwan)
11 0.03%.ug (Uganda)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
29 0.03%.cz (Czech Republic)
12 0.03%.be (Belgium)
12 0.03%.na (Namibia)
36 0.02%.hk (Hong Kong)
6 0.02%.ae (United Arab Emirates)
5 0.02%.uy (Uruguay)
4 0.02%.is (Iceland)
2 0.02%.ly (Libya)
13 0.02%.ro (Romania)
2 0.02%.mil (USA Military)
1 0.01%.si (Slovenia)
14 0.01%.cy (Cyprus)
12 0.01%.tr (Turkey)
21 0.01%.ua (Ukraine)
2 0.01%.int (International Treaty Organisations)
10 0.01%.gov (USA Government)
1 0.01%.io (British Indian Ocean Territory)
4 .gh (Ghana)
1 .as (American Samoa)
3 .kz (Kazakhstan)
3 .lt (Lithuania)
3 .lv (Latvia)
2 .ir (Iran)
1 .mu (Mauritius)
4 .lb (Lebanon)
6 .us (United States)
1 .ee (Estonia)
1 .lu (Luxembourg)
4 .biz (Businesses)
3 .st (Saint Tome and Principe)
1 .al (Albania)
4 .cl (Chile)
3 .bn (Brunei Darussalam)
1 .sk (Slovakia)
2 .by (Belarus)

Organisation Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the organisations of the computers which requested files.

Listing the top 20 organisations by the number of requests, sorted by the number of requests.

reqs%bytesorganisation
394918.61%amazonaws.com
1770 8.77%msn.com
1523 5.29%[domain not given]
1238 4.72%baidu.com
1006 3.91%yandex.com
76114.17%bluechipbacklinks.com
577 0.47%64.62
527 2.22%your-server.de
473 0.68%66.160
313 0.42%114
298 1.11%[unknown domain]
267 0.60%virginm.net
266 0.21%123
232 0.16%sogou.com
202 4.74%telia.com
180 0.86%41
176 0.31%mail.ru
147 0.61%google.com
143 0.32%14
141 0.17%cam.ac.uk
907031.63%[not listed: 1,416 organisations]

Search Word Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists which words people used in search engines to find the site.

Listing the top 30 query words by the number of requests, sorted by the number of requests.

reqssearch term
69software
64engineering
64pdf
38notes
28equivalence
20for
15theorem
15prove
14in
14of
14classes
14and
13set
12r
12residue
12diploma
12class
11proof
11state
10is
10computer
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
254[not listed: 122 search terms]

Operating System Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the operating systems used by visitors.

Listing operating systems, sorted by the number of requests for pages.

no.reqspagesOS
180704160OS unknown
266231930Windows
 2694977  Windows NT
 3526804  Unknown Windows
 375124  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 32  Windows 98
330881389Known robots
432471196Macintosh
52195678Unix
 2158666  Linux
 187  Other Unix
 32  SunOS
 22  OSF1
 141  BSD
655RISC OS

Status Code Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the HTTP status codes of all requests.

Listing status codes, sorted numerically.

reqsstatus code
19821200 OK
2736206 Partial content
148301 Document moved permanently
702304 Not modified since last retrieval
45403 Access forbidden
741404 Document not found

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
0697 
1B- 10B2 
11B- 100B0 
101B- 1kB1040 0.01%
1kB- 10kB7100 0.45%
10kB-100kB6540 4.26%
100kB- 1MB717040.99%
1MB- 10MB64527.72%
10MB-100MB6526.56%

File Type Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the extensions of files.

Listing extensions with at least 0.1% of the traffic, sorted by the amount of traffic.

reqs%bytesextension
1090363.83%.pdf [Adobe Portable Document Format]
27024.69%.gz [Gzip compressed files]
16224.50%  .tar.gz [Compressed archives]
89 8.17%.tbz
1050 1.21%.jpg [JPEG graphics]
6432 0.59%[directories]
6 0.51%.tgz
2940 0.37%.html [Hypertext Markup Language]
5 0.24%.zip [Zip archives]
966 0.16%.sml
598 0.23%[not listed: 9 extensions]

Request Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the files on the site.

Listing files with at least 0.03% of the requests, sorted by the number of requests.

reqs%byteslast timefile
145610.83%18/Jun/18 13:56/~lp15/papers/Notes/SE-I.pdf
1103 0.15%18/Jun/18 13:50/~lp15/
1028 0.04%18/Jun/18 13:51/~lp15/MLbook/
531 0.61%18/Jun/18 13:50/~lp15/images/larry-home-small.jpg
469 4.04%18/Jun/18 08:36/~lp15/papers/Reports/equivclasses-slides.pdf
359 0.83%18/Jun/18 02:14/~lp15/papers/Notes/Founds-FP.pdf
353 0.02%18/Jun/18 13:00/~lp15/MLbook/pub-details.html
350 6.55%18/Jun/18 12:39/~lp15/Sue/Thesis.pdf
339 0.28%11/Jun/18 20:32/~lp15/images/acm-logo.jpg
319 0.01%18/Jun/18 13:51/~lp15/MLbook/programs/
299 0.04%18/Jun/18 08:06/~lp15/papers/Arith/
288 1.24%18/Jun/18 05:07/~lp15/papers/Formath/Residue-theorem.pdf
280 0.98%18/Jun/18 13:47/~lp15/papers/Reports/equivclasses.pdf
241 3.76%18/Jun/18 12:18/~lp15/papers/Reports/thesis.pdf
209 0.12%18/Jun/18 08:57/~lp15/papers/refereed.html
203 0.01%18/Jun/18 08:08/~lp15/MLbook/programs/sample2.sml
198 1.10%18/Jun/18 03:11/~lp15/papers/Formath/Goedel-ar.pdf
189 0.02%18/Jun/18 06:31/~lp15/Sue/
185 18/Jun/18 13:53/~lp15/MLbook/exercises/
171 0.80%18/Jun/18 13:44/~lp15/papers/Auth/jcs.pdf
153 0.02%18/Jun/18 09:06/~lp15/papers/Auth/
153 0.14%18/Jun/18 12:57/~lp15/papers/Reports/mutil.pdf
151 0.02%17/Jun/18 20:24/~lp15/Grants/AutoPolyFun/
145 0.02%17/Jun/18 20:24/~lp15/papers/Formath/
137 0.01%17/Jun/18 20:53/~lp15/papers/Automation/
129 0.01%17/Jun/18 20:24/~lp15/papers/lecture-courses.html
123 0.02%17/Jun/18 22:31/~lp15/Grants/SET/
122 0.01%18/Jun/18 12:09/~lp15/images/
13 16/Jun/18 11:12  /~lp15/images/?C=N;O=D
13 16/Jun/18 11:12  /~lp15/images/?C=D;O=A
12 18/Jun/18 06:50  /~lp15/images/?C=M;O=A
11 18/Jun/18 06:50  /~lp15/images/?C=S;O=A
10 18/Jun/18 06:50  /~lp15/images/?C=N;O=A
121 0.01%18/Jun/18 10:16/~lp15/Pages/cv.html
116 0.57%18/Jun/18 12:02/~lp15/papers/Reports/Bridge-ml.pdf
116 0.46%17/Jun/18 08:35/~lp15/papers/Formath/set-I.pdf
115 0.01%17/Jun/18 20:24/~lp15/Grants/
112 18/Jun/18 06:55/~lp15/css/
13 16/Jun/18 11:12  /~lp15/css/?C=S;O=A
13 16/Jun/18 11:13  /~lp15/css/?C=M;O=A
12 18/Jun/18 06:55  /~lp15/css/?C=M;O=D
12 18/Jun/18 06:53  /~lp15/css/?C=D;O=A
11 18/Jun/18 06:53  /~lp15/css/?C=N;O=D
11 18/Jun/18 06:54  /~lp15/css/?C=S;O=D
10 18/Jun/18 06:54  /~lp15/css/?C=N;O=A
111 0.01%18/Jun/18 12:54/~lp15/papers/Reports/
108 0.01%18/Jun/18 11:22/~lp15/archive/
108 0.41%17/Jun/18 00:03/~lp15/papers/Isabelle/fleuriot-kepler.pdf
106 0.01%18/Jun/18 06:52/~lp15/papers/
12 16/Jun/18 11:12  /~lp15/papers/?C=S;O=A
11 18/Jun/18 06:52  /~lp15/papers/?C=N;O=D
11 18/Jun/18 06:52  /~lp15/papers/?C=D;O=A
10 18/Jun/18 06:52  /~lp15/papers/?C=M;O=A
106 0.16%17/Jun/18 13:26/~lp15/papers/Auth/lics.pdf
105 0.17%18/Jun/18 05:11/~lp15/papers/Formath/Goedel-logic.pdf
105 0.01%18/Jun/18 02:46/~lp15/MLbook/ERRATA.html
103 18/Jun/18 12:09/~lp15/papers/Notes/
12 16/Jun/18 11:13  /~lp15/papers/Notes/?C=D;O=A
11 16/Jun/18 11:13  /~lp15/papers/Notes/?C=S;O=A
10 18/Jun/18 06:55  /~lp15/papers/Notes/?C=N;O=D
10 18/Jun/18 06:55  /~lp15/papers/Notes/?C=M;O=A
100 0.01%18/Jun/18 13:54/~lp15/MLbook/review.html
100 0.01%18/Jun/18 03:43/~lp15/papers/Isabelle/
99 17/Jun/18 09:14/~lp15/MLbook/general.html
99 0.08%17/Jun/18 20:24/~lp15/Usage/
97 0.13%17/Jun/18 21:31/~lp15/papers/Auth/SET-overview-2002.pdf
96 0.27%18/Jun/18 00:01/~lp15/MLbook/PDF/chapter1.pdf
96 0.01%18/Jun/18 06:24/~lp15/Grants/LEO-II/
95 18/Jun/18 12:10/~lp15/SpryAssets/
12 18/Jun/18 06:58  /~lp15/SpryAssets/?C=N;O=D
12 18/Jun/18 06:59  /~lp15/SpryAssets/?C=S;O=A
11 18/Jun/18 06:59  /~lp15/SpryAssets/?C=D;O=A
11 18/Jun/18 06:58  /~lp15/SpryAssets/?C=M;O=A
94 18/Jun/18 12:10/~lp15/Pages/
13 16/Jun/18 11:14  /~lp15/Pages/?C=M;O=A
12 18/Jun/18 06:59  /~lp15/Pages/?C=N;O=D
12 18/Jun/18 06:59  /~lp15/Pages/?C=S;O=A
12 18/Jun/18 07:00  /~lp15/Pages/?C=D;O=A
94 0.01%18/Jun/18 09:55/~lp15/papers/hol.html
93 0.24%18/Jun/18 03:53/~lp15/papers/Auth/tls.pdf
92 18/Jun/18 06:58/~lp15/tmp/
13 16/Jun/18 11:13  /~lp15/tmp/?C=S;O=A
13 16/Jun/18 11:13  /~lp15/tmp/?C=M;O=A
11 18/Jun/18 06:57  /~lp15/tmp/?C=D;O=A
10 18/Jun/18 06:57  /~lp15/tmp/?C=N;O=D
87 0.01%18/Jun/18 05:51/~lp15/Grants/Automation/
84 17/Jun/18 20:24/~lp15/Grants/BeyondLinArith/
83 0.01%17/Jun/18 20:24/~lp15/papers/invited.html
83 18/Jun/18 07:01/~lp15/Templates/
13 16/Jun/18 11:14  /~lp15/Templates/?C=D;O=A
12 18/Jun/18 07:01  /~lp15/Templates/?C=S;O=A
12 18/Jun/18 07:00  /~lp15/Templates/?C=M;O=A
11 18/Jun/18 07:00  /~lp15/Templates/?C=N;O=D
83 0.01%18/Jun/18 02:06/~lp15/MLbook/exercises/exer2.html
82 0.01%17/Jun/18 20:24/~lp15/papers/workshop.html
81 0.02%18/Jun/18 12:10/~lp15/Usage/images/
11 18/Jun/18 07:01  /~lp15/Usage/images/?C=M;O=A
10 18/Jun/18 07:01  /~lp15/Usage/images/?C=N;O=D
10 18/Jun/18 07:01  /~lp15/Usage/images/?C=S;O=A
80 18/Jun/18 12:10/~lp15/papers/Bella/
10 18/Jun/18 07:03  /~lp15/papers/Bella/?C=D;O=A
79 0.13%16/Jun/18 21:22/~lp15/Pages/vita.pdf
79 18/Jun/18 12:10/~lp15/Data/
11 18/Jun/18 07:03  /~lp15/Data/?C=S;O=A
11 18/Jun/18 07:03  /~lp15/Data/?C=D;O=A
11 18/Jun/18 07:02  /~lp15/Data/?C=M;O=A
10 18/Jun/18 07:02  /~lp15/Data/?C=N;O=D
79 0.14%18/Jun/18 12:01/~lp15/papers/Arith/Narayanan DATE.pdf
77 0.01%18/Jun/18 06:52/~lp15/Grants/Alexandria/
77 17/Jun/18 11:07/~lp15/MLbook/programs/ROOT.sml
76 18/Jun/18 00:25/~lp15/Pages/CL-English.html
76 0.01%17/Jun/18 20:24/~lp15/papers/books.html
76 0.01%18/Jun/18 13:52/~lp15/MLbook/programs/sample5.sml
76 0.57%16/Jun/18 21:22/~lp15/Pages/Munich-slides.pdf
75 0.01%17/Jun/18 15:56/~lp15/MLbook/programs/sample8-2004.sml
74 0.20%17/Jun/18 09:28/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
74 18/Jun/18 06:15/~lp15/MLbook/StandardML.plist
74 0.36%18/Jun/18 06:19/~lp15/papers/Arith/Sogokon-nfm14.pdf
73 18/Jun/18 12:10/~lp15/papers/Reviews/
10 18/Jun/18 07:05  /~lp15/papers/Reviews/?C=S;O=A
10 18/Jun/18 07:05  /~lp15/papers/Reviews/?C=M;O=A
73 18/Jun/18 13:53/~lp15/MLbook/first/
73 0.01%17/Jun/18 18:47/~lp15/papers/Workshop/
73 0.31%17/Jun/18 18:57/~lp15/papers/Bella/accountability.pdf
73 0.02%18/Jun/18 05:05/~lp15/MLbook/exercises/exer8.html
72 0.25%17/Jun/18 02:33/~lp15/papers/Automation/filtering.pdf
70 18/Jun/18 07:07/~lp15/papers/Ballarin/
10 18/Jun/18 07:06  /~lp15/papers/Ballarin/?C=N;O=D
70 0.20%18/Jun/18 13:39/~lp15/papers/Reports/TPHOLs05.pdf
69 16/Jun/18 21:22/~lp15/papers/Arith/download.html
69 0.01%18/Jun/18 04:05/~lp15/MLbook/programs/sample3.sml
69 0.01%18/Jun/18 00:25/~lp15/MLbook/programs/sample4.sml
69 0.01%17/Jun/18 09:58/~lp15/Pages/ACS-proposals.html
69 0.01%17/Jun/18 22:55/~lp15/papers/recur.html
69 0.31%17/Jun/18 15:53/~lp15/papers/Bella/smartcards-jcs.pdf
68 0.21%17/Jun/18 03:42/~lp15/papers/Automation/sultana-pfreconstruction.pdf
67 0.18%16/Jun/18 21:23/~lp15/papers/Formath/Greens-theorem.pdf
67 0.16%16/Jun/18 21:23/~lp15/papers/Formath/automata.pdf
63 17/Jun/18 03:42/~lp15/papers/UNITY/
62 0.02%17/Jun/18 20:43/~lp15/MLbook/exercises/exer3.html
61 1.40%17/Jun/18 05:22/~lp15/papers/Auth/lics-slides.pdf
61 0.01%17/Jun/18 07:53/~lp15/Pages/Scream.html
60 0.16%17/Jun/18 06:45/~lp15/papers/Formath/AC.pdf
60 0.08%18/Jun/18 01:05/~lp15/papers/Auth/yahalom.pdf
59 0.13%17/Jun/18 16:20/~lp15/papers/Arith/Huang-3heuristics.pdf
58 0.13%17/Jun/18 19:57/~lp15/papers/Bella/esorics98.pdf
58 0.13%18/Jun/18 00:17/~lp15/papers/Automation/paar.pdf
58 0.01%17/Jun/18 03:42/~lp15/Grants/UNITY/
57 0.24%18/Jun/18 07:10/~lp15/MLbook/PDF/chapter2.pdf
56 0.22%17/Jun/18 09:58/~lp15/papers/Automation/translations-jar.pdf
56 0.10%16/Jun/18 21:23/~lp15/papers/Auth/multicast_verification.pdf
56 0.03%17/Jun/18 13:32/~lp15/images/pilkington.jpg
56 0.31%18/Jun/18 12:12/~lp15/papers/Arith/calculemus2008.pdf
55 0.01%17/Jun/18 17:47/~lp15/MLbook/programs/sample9.sml
54 17/Jun/18 13:59/~lp15/papers/Arith/qepcad-for-mac.html
53 0.02%17/Jun/18 13:22/~lp15/MLbook/programs/sample10.sml
53 0.44%17/Jun/18 11:56/~lp15/papers/Bella/purchase-JAR.pdf
53 0.14%16/Jun/18 21:23/~lp15/papers/Arith/Hscc09.pdf
52 0.11%17/Jun/18 15:54/~lp15/papers/Isabelle/aisc98.pdf
52 0.20%16/Jun/18 21:23/~lp15/papers/Formath/reflection-slides.pdf
52 0.05%17/Jun/18 19:00/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
52 0.03%17/Jun/18 19:42/~lp15/papers/Reviews/construct.pdf
52 0.01%16/Jun/18 21:22/~lp15/Grants/holisa.html
51 17/Jun/18 21:16/~lp15/Data/ho-translations/
51 0.07%17/Jun/18 21:56/~lp15/Sue/Cultures of Dance.ppt
51 0.10%18/Jun/18 00:00/~lp15/MLbook/PDF/contents.pdf
51 0.12%16/Jun/18 21:23/~lp15/papers/Bella/registration.pdf
50 18/Jun/18 02:43/~lp15/papers/Deduction/
50 0.01%17/Jun/18 20:26/~lp15/MLbook/programs/sample8.sml
50 0.11%16/Jun/18 15:27/~lp15/Pages/harrison-real.pdf
50 0.02%17/Jun/18 20:55/~lp15/Sue/Sue Paulson.jpg
50 0.21%18/Jun/18 12:27/~lp15/MLbook/PDF/chapter8.pdf
50 0.09%17/Jun/18 13:29/~lp15/papers/Bella/purchase.pdf
49 0.10%18/Jun/18 00:27/~lp15/papers/Bella/nonrepudiation.pdf
49 0.08%16/Jun/18 21:23/~lp15/papers/Isabelle/chap700.pdf
49 0.21%18/Jun/18 06:38/~lp15/MLbook/PDF/chapter5.pdf
48 0.01%16/Jun/18 21:22/~lp15/MLbook/programs/sample7.sml
48 0.20%18/Jun/18 00:02/~lp15/MLbook/PDF/chapter4.pdf
48 0.01%16/Jun/18 21:22/~lp15/MLbook/exercises/exer7.html
48 16/Jun/18 21:22/~lp15/papers/Arith/atan-problem-1-weak.html
48 17/Jun/18 03:42/~lp15/Data/relevance/
47 17/Jun/18 23:00/~lp15/MLbook/programs/notes.html
47 18/Jun/18 00:28/~lp15/Pages/projects.html
47 0.14%16/Jun/18 21:23/~lp15/papers/Bella/certified-email.pdf
46 0.11%17/Jun/18 06:38/~lp15/papers/Automation/translations.pdf
46 0.21%16/Jun/18 10:13/~lp15/papers/UNITY/composition.pdf
46 0.13%17/Jun/18 06:38/~lp15/papers/Automation/meng-termination.pdf
46 0.08%17/Jun/18 07:00/~lp15/papers/Arith/fmcad2009.pdf
45 18/Jun/18 08:28/~lp15/MLbook/first/programs/
45 0.01%18/Jun/18 13:53/~lp15/MLbook/exercises/exer5.html
45 0.15%17/Jun/18 18:13/~lp15/papers/Formath/reflection.pdf
44 16/Jun/18 21:22/~lp15/MLbook/disclaimer.html
44 0.14%18/Jun/18 03:00/~lp15/papers/UNITY/Mechanizing-compositional.pdf
43 0.01%17/Jun/18 12:07/~lp15/MLbook/programs/test10.sml
43 0.11%17/Jun/18 17:01/~lp15/papers/Arith/lpar2007.pdf
42 0.01%16/Jun/18 21:22/~lp15/MLbook/exercises/exer4.html
42 0.01%18/Jun/18 13:53/~lp15/MLbook/exercises/exer6.html
42 18/Jun/18 12:11/~lp15/MLbook/PDF/
42 0.09%16/Jun/18 21:22/~lp15/Grants/AutoPolyFun/case.pdf
41 0.08%16/Jun/18 21:23/~lp15/papers/Bella/cav98.pdf
41 0.07%17/Jun/18 03:42/~lp15/papers/UNITY/tphols01.pdf
41 0.16%18/Jun/18 00:03/~lp15/MLbook/PDF/chapter6.pdf
40 0.18%18/Jun/18 05:04/~lp15/MLbook/PDF/chapter3.pdf
40 0.14%16/Jun/18 21:23/~lp15/papers/Auth/SET-overview-IJIS.pdf
40 0.09%17/Jun/18 21:47/~lp15/papers/Automation/jar-smt.pdf
40 0.06%18/Jun/18 13:01/~lp15/papers/Reports/CADE11.pdf
40 0.04%16/Jun/18 21:45/~lp15/papers/Reports/CADE9.pdf
39 0.12%18/Jun/18 06:52/~lp15/images/ERC-LOGO.jpg
39 0.09%16/Jun/18 21:23/~lp15/papers/Isabelle/blast.pdf
39 0.06%17/Jun/18 03:42/~lp15/papers/Automation/thf-sledge.pdf
39 0.01%17/Jun/18 18:13/~lp15/MLbook/programs/sample3-old.sml
38 0.02% 4/Jun/18 11:37/~lp15/papers/Reviews/MLer.pdf
38 0.20%17/Jun/18 23:04/~lp15/papers/Automation/reconstruction.pdf
38 0.27%17/Jun/18 20:05/~lp15/papers/Arith/MetiTarski-jar.pdf
38 0.05%16/Jun/18 10:10/~lp15/papers/Workshop/friedrich.pdf
38 0.09%18/Jun/18 12:45/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
37 0.08%17/Jun/18 08:02/~lp15/papers/Automation/IJCAR2004.pdf
37 0.10%18/Jun/18 12:46/~lp15/papers/Isabelle/coding.pdf
37 18/Jun/18 08:28/~lp15/MLbook/first/programs/Functions.ML
37 0.01%17/Jun/18 14:09/~lp15/MLbook/programs/sample9-2004.sml
37 0.19%17/Jun/18 22:16/~lp15/papers/Workshop/papers/rasmussen.pdf
37 0.28%16/Jun/18 21:23/~lp15/papers/Automation/info-and-comp.pdf
36 0.09%16/Jun/18 10:17/~lp15/papers/Reports/blast.pdf
36 0.01%16/Jun/18 21:22/~lp15/MLbook/programs/sample8-old.sml
36 0.01%18/Jun/18 08:28/~lp15/MLbook/first/programs/Lambda.ML
36 0.01%16/Jun/18 21:22/~lp15/MLbook/programs/sample10-old.sml
35 0.06%18/Jun/18 05:43/~lp15/papers/Workshop/papers/kalvala-linear.pdf
35 0.05%18/Jun/18 05:35/~lp15/papers/Arith/pdpar2006.pdf
35 0.09%16/Jun/18 21:23/~lp15/papers/Formath/milner-ind-defs.pdf
35 0.09%16/Jun/18 21:23/~lp15/papers/Automation/cade2011-sledge-smt.pdf
34 0.10%17/Jun/18 13:41/~lp15/papers/Arith/case-splitting-stats.csv
34 0.02%18/Jun/18 12:58/~lp15/papers/paulson.bib
34 0.05%16/Jun/18 21:23/~lp15/papers/Auth/auth-slides.pdf
34 0.06%17/Jun/18 09:29/~lp15/papers/Workshop/papers/thompson.pdf
34 0.13%18/Jun/18 12:28/~lp15/MLbook/PDF/chapter9.pdf
33 0.07%18/Jun/18 01:05/~lp15/papers/UNITY/ehmety-composition.pdf
33 0.13%18/Jun/18 07:13/~lp15/papers/Notes/MOD-slides.pdf
33 0.15%18/Jun/18 12:32/~lp15/MLbook/PDF/chapter7.pdf
32 0.06%16/Jun/18 21:23/~lp15/papers/Formath/final.pdf
32 0.05%18/Jun/18 04:40/~lp15/papers/Reports/Descent of BAN.pdf
32 0.39%17/Jun/18 16:02/~lp15/papers/Automation/reconstruction-slides.pdf
32 0.14%18/Jun/18 03:52/~lp15/papers/UNITY/UNITY.pdf
32 0.37%17/Jun/18 03:42/~lp15/papers/Reports/ref97.pdf
32 1.95%16/Jun/18 21:23/~lp15/papers/Arith/FroCos-presentation.pdf
31 0.13%18/Jun/18 00:05/~lp15/MLbook/PDF/chapter10.pdf
31 17/Jun/18 03:52/~lp15/MLbook/exercises/disclaimer.html
31 0.14%16/Jun/18 21:23/~lp15/papers/Formath/constructible-slides.pdf
31 0.06%16/Jun/18 21:23/~lp15/papers/Arith/ITP-2012-invited.pdf
31 0.14%17/Jun/18 20:22/~lp15/papers/Formath/set-II.pdf
30 17/Jun/18 03:42/~lp15/papers/Workshop/matthews.html
30 0.15%18/Jun/18 05:55/~lp15/Grants/Alexandria/Part-B2.pdf
30 0.06%17/Jun/18 03:42/~lp15/papers/Automation/leo2-ijcar.pdf
30 0.06%18/Jun/18 12:54/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.17%17/Jun/18 15:21/~lp15/papers/Auth/tls-slides.pdf
30 0.90%18/Jun/18 13:10/~lp15/Sue/Phd-Poster.pdf
30 0.05%17/Jun/18 06:52/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
30 18/Jun/18 07:10/~lp15/MLbook/first/programs/Modules.ML
30 18/Jun/18 06:32/~lp15/Grants/Chaieb.html
30 0.05%16/Jun/18 21:23/~lp15/papers/Auth/ijcar2001.pdf
29 0.04%17/Jun/18 10:42/~lp15/papers/Arith/FroCoS-2013-invited.pdf
29 16/Jun/18 21:22/~lp15/Grants/auth.html
29 0.35%18/Jun/18 12:43/~lp15/papers/Reports/TypeClasses.pdf
29 0.16%17/Jun/18 22:13/~lp15/papers/Automation/filtering-jal.pdf
29 0.19%17/Jun/18 16:11/~lp15/papers/Reports/intro-to-isabelle.pdf
29 0.05%17/Jun/18 10:43/~lp15/papers/Formath/constructible-abstract.pdf
29 18/Jun/18 07:14/~lp15/papers/OLD.SETS/
28 0.07%18/Jun/18 00:06/~lp15/MLbook/PDF/projects-bib.pdf
28 0.02%17/Jun/18 10:34/~lp15/papers/Arith/NFM2014-invited.pdf
28 0.08%17/Jun/18 15:15/~lp15/papers/Bella/esorics2000.pdf
28 17/Jun/18 03:42/~lp15/papers/Workshop/participants.html
28 18/Jun/18 07:10/~lp15/MLbook/first/programs/Imperative.ML
28 17/Jun/18 03:42/~lp15/papers/Workshop/programme.html
27 0.01%18/Jun/18 07:10/~lp15/MLbook/first/programs/Lists-Trees.ML
27 17/Jun/18 03:42/~lp15/papers/Workshop/paulson.html
27 0.05%16/Jun/18 21:23/~lp15/papers/Bella/dimacs97.pdf
27 0.04%17/Jun/18 18:54/~lp15/papers/Notes/leeds-notes.pdf
27 0.05%17/Jun/18 00:12/~lp15/papers/Workshop/papers/voelker.pdf
27 0.02%16/Jun/18 21:22/~lp15/Grants/Automation/case.pdf
27 0.04%16/Jun/18 21:23/~lp15/papers/Auth/security-protocols.pdf
27 17/Jun/18 03:42/~lp15/Sue/Cultures of Dance.html
26 18/Jun/18 07:11/~lp15/MLbook/first/programs/ParsePrint.ML
26 0.02%15/Jun/18 15:25/~lp15/Grants/LEO-II/leo2-case.pdf
26 17/Jun/18 03:42/~lp15/papers/Workshop/thompson.html
26 0.08%16/Jun/18 21:23/~lp15/papers/Arith/SNC2014-invited.pdf
26 0.03%17/Jun/18 00:41/~lp15/papers/Auth/recur-slides.pdf
26 0.70%17/Jun/18 03:42/~lp15/Sue/Thesis-Appendices.pdf
25 17/Jun/18 03:42/~lp15/papers/Workshop/staples.html
25 0.18%17/Jun/18 10:41/~lp15/papers/Formath/Future of formalised maths.pdf
25 1.18%17/Jun/18 12:34/~lp15/papers/Notes/LCF+.pdf
25 0.10%17/Jun/18 13:22/~lp15/papers/Workshop/papers/kammueller.pdf
24 0.14%17/Jun/18 15:56/~lp15/images/pilkington-full.jpg
24 17/Jun/18 19:00/~lp15/papers/Workshop/kalvala.html
24 0.05%16/Jun/18 21:22/~lp15/papers/Arith/case-splitting.pdf
24 0.07%17/Jun/18 13:06/~lp15/papers/Formath/Goedel-logic-mine.pdf
24 0.12%18/Jun/18 12:43/~lp15/papers/Reports/fleuriot-kepler.pdf
24 0.19%16/Jun/18 21:23/~lp15/papers/Auth/SET-overview-slides.pdf
24 0.15%16/Jun/18 21:45/~lp15/papers/Reports/logics97.pdf
23 17/Jun/18 03:42/~lp15/papers/Workshop/nipkow.html
23 0.31%16/Jun/18 21:22/~lp15/Grants/Automation/poster.pdf
23 0.01%16/Jun/18 21:23/~lp15/papers/Formath/AC-slides.pdf
23 0.14%17/Jun/18 22:46/~lp15/Grants/Alexandria/DoA.pdf
23 16/Jun/18 21:23/~lp15/papers/Arith/RELEASE-NOTES.txt
23 0.02%16/Jun/18 10:30/~lp15/papers/Workshop/kammueller.pdf
23 17/Jun/18 03:42/~lp15/papers/Workshop/agerholm.html
23 0.10%16/Jun/18 21:22/~lp15/papers/Arith/cicm2012.pdf
22 0.01%18/Jun/18 03:28/~lp15/MLbook/first/ML-syntax.ps.gz
22 0.10%16/Jun/18 21:23/~lp15/papers/Auth/SET-document.pdf
22 0.05%16/Jun/18 21:23/~lp15/papers/Notes/strategy.pdf
22 0.07%17/Jun/18 10:34/~lp15/papers/Isabelle/sylow.pdf
22 0.01%18/Jun/18 07:11/~lp15/MLbook/first/programs/Hal.ML
22 0.20%17/Jun/18 10:09/~lp15/papers/Arith/NFM2014-slides.pdf
21 0.24%18/Jun/18 13:04/~lp15/papers/Reports/TypeClasses-slides.pdf
21 1.10%16/Jun/18 21:23/~lp15/papers/Arith/ITP 2012 presentation.pdf
21 0.31%16/Jun/18 21:23/~lp15/papers/Arith/metit-slides.pdf
21 0.58%16/Jun/18 21:23/~lp15/papers/Arith/SNC2014-slides.pdf
20 0.02%16/Jun/18 21:45/~lp15/papers/Notes/strategy-slides.pdf
20 0.16%16/Jun/18 21:22/~lp15/Grants/BeyondLinArith/arith-case.pdf
20 0.24%17/Jun/18 03:42/~lp15/papers/Isabelle/Cube-presentation.pdf
20 1.03%16/Jun/18 21:23/~lp15/papers/Formath/Goedel-slides.pdf
20 17/Jun/18 03:42/~lp15/papers/Workshop/futures.html
20 17/Jun/18 03:42/~lp15/papers/Workshop/wolff.html
19 0.21% 5/Jun/18 23:09/~lp15/papers/Reports/popl82.pdf
19 0.03%17/Jun/18 21:32/~lp15/papers/Workshop/papers/ayari.pdf
19 0.03%16/Jun/18 21:22/~lp15/Grants/Automation/final.pdf
19 0.06% 8/Jun/18 13:14/~lp15/papers/Workshop/papers/nipkow.pdf
19 0.27%17/Jun/18 10:25/~lp15/papers/Notes/formalizing-abst-slides.pdf
19 0.03%16/Jun/18 17:59/~lp15/papers/Workshop/vigano.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 16/Jun/18 21:23/~lp15/papers/Formath/ind-defs-slides.pdf
18 18/Jun/18 06:05/~lp15/papers/Workshop/bednarczyk.txt
18 0.44%16/Jun/18 21:22/~lp15/Grants/BeyondLinArith/arith-poster.pdf
18 0.01%18/Jun/18 07:12/~lp15/Grants/SET/case.pdf
18 0.05%18/Jun/18 13:14/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
17 18/Jun/18 06:15/~lp15/MLbook/first/ERRATA3.txt
17 17/Jun/18 03:42/~lp15/papers/Workshop/heule.html
17 0.01%18/Jun/18 13:04/~lp15/papers/Isabelle/blast-slides.pdf
17 0.02%17/Jun/18 10:44/~lp15/papers/Arith/Overcoming.pdf
17 0.10%17/Jun/18 10:39/~lp15/papers/Automation/Huet colloquium.pdf
17 0.19%16/Jun/18 21:23/~lp15/papers/Auth/dagstuhl2003-slides.pdf
17 0.17%16/Jun/18 21:23/~lp15/papers/Bella/TPHOLs03-slides.pdf
16 0.17%16/Jun/18 21:23/~lp15/papers/Formath/constructible-theory.pdf
16 18/Jun/18 07:11/~lp15/MLbook/first/programs/edits.txt
16 0.14%17/Jun/18 11:02/~lp15/papers/Deduction/lecture1.pdf
16 0.03% 6/Jun/18 02:16/~lp15/papers/Workshop/papers/matthews.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 0.04%17/Jun/18 19:25/~lp15/papers/Ballarin/aisc98.pdf
16 18/Jun/18 06:15/~lp15/MLbook/first/ERRATA1.txt
15 17/Jun/18 20:24/~lp15/Pages/Lawrence Paulson (C90DEAF0) %E2%80%93 Public.asc
15 0.23%16/Jun/18 21:23/~lp15/papers/Auth/dagstuhl2001-slides.pdf
15 0.03%18/Jun/18 02:27/~lp15/papers/Workshop/papers/benini.pdf
15 0.03%10/Jun/18 16:48/~lp15/papers/Isabelle/Goedel-logic.pdf
15 2.66%18/Jun/18 06:03/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
15 0.04%17/Jun/18 21:48/~lp15/papers/Workshop/papers/vigano.pdf
15 0.03%17/Jun/18 05:17/~lp15/papers/Workshop/papers/owens.pdf
15 0.12% 6/Jun/18 02:10/~lp15/papers/Deduction/lecture3.pdf
15 0.24%16/Jun/18 21:23/~lp15/papers/Auth/ijcar2001-slides.pdf
15 0.04%16/Jun/18 09:24/~lp15/papers/Workshop/papers/agerholm.pdf
14 0.01%17/Jun/18 03:42/~lp15/Sue/Cultures of Dance.pdf
14 18/Jun/18 06:05/~lp15/papers/Workshop/owens.txt
14 16/Jun/18 11:18/~lp15/archive/ERRATA.txt
14 0.02% 5/Jun/18 11:38/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
14 16/Jun/18 21:22/~lp15/Grants/UNITY/temporal.html
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.04% 9/Jun/18 23:38/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
13 0.47%18/Jun/18 03:52/~lp15/Grants/LEO-II/leo project poster.pdf
13 0.46%17/Jun/18 10:07/~lp15/papers/Arith/Overcoming-slides.pdf
13 0.06%18/Jun/18 06:03/~lp15/Data/relevance/tptp-2007-03-13.tbz
13 18/Jun/18 06:04/~lp15/Data/relevance/unfiltered-vampire.txt
13 18/Jun/18 06:15/~lp15/MLbook/first/ERRATA2.txt
12 0.02%18/Jun/18 02:43/~lp15/papers/Workshop/papers/staples.pdf
12 0.05%16/Jun/18 10:14/~lp15/papers/Workshop/papers/bednarczyk.pdf
12 0.08%18/Jun/18 13:12/~lp15/Pages/4colproof.pdf
11 0.02%16/Jun/18 15:45/~lp15/Grants/Chaieb-case.pdf
11 0.67%18/Jun/18 06:02/~lp15/Data/ho-translations/Comb.tbz
11 18/Jun/18 07:21/~lp15/Grants/SET/final.pdf
11 18/Jun/18 06:03/~lp15/Data/relevance/unfiltered-spass.txt
10  4/Jun/18 11:37/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 18/Jun/18 07:01/~lp15/Templates/publications.dwt
10 18/Jun/18 06:01/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
10 0.07%16/Jun/18 17:42/~lp15/papers/Isabelle/Goedel-ar.pdf
10 2.32%18/Jun/18 06:02/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
10 18/Jun/18 06:01/~lp15/Data/ho-translations/Theories.tbz
10 2.99% 4/Jun/18 11:36/~lp15/archive/Isabelle2009-1.tar.gz
10 18/Jun/18 06:03/~lp15/Data/relevance/unfiltered-E.txt
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 3.21%17/Jun/18 07:58/~lp15/archive/Isabelle2014.tar.gz
9 0.03%18/Jun/18 07:43/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
9 0.53%18/Jun/18 06:02/~lp15/Data/ho-translations/Abst.tbz
9 0.05% 6/Jun/18 02:10/~lp15/papers/Deduction/lecture2.pdf
9 0.04%16/Jun/18 23:40/~lp15/papers/OLD.SETS/constructible-slides.pdf
9 1.77%18/Jun/18 06:02/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 0.02%18/Jun/18 07:19/~lp15/papers/Ballarin/coding.pdf
8 0.06% 6/Jun/18 02:10/~lp15/papers/Deduction/lecture4.pdf
8 0.52% 7/Jun/18 14:32/~lp15/archive/Isabelle2003.tar.gz
7 0.01%13/Jun/18 06:22/~lp15/papers/Workshop/front.pdf
7 2.39% 4/Jun/18 11:36/~lp15/archive/Isabelle2009-2.tar.gz
7 18/Jun/18 13:53/~lp15/MLbook/first/answers1-5.txt.gz
7 0.30% 4/Jun/18 11:37/~lp15/papers/Isabelle/Goedel-slides.pdf
7  5/Jun/18 18:20/~lp15/images/larry-paulson.jpg
7 2.29%14/Jun/18 19:46/~lp15/archive/Isabelle2011.tar.gz
7 0.02%16/Jun/18 09:43/~lp15/papers/OLD.SETS/AC.pdf
7  6/Jun/18 09:47/~lp15/MLbook/first/ML-syntax.dvi.gz
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.07%16/Jun/18 11:43/~lp15/papers/Automation/h4qed-clean.pdf
7 0.01%16/Jun/18 18:32/~lp15/papers/Workshop/ayari.pdf
32714.66%18/Jun/18 12:37[not listed: 93 files]