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

Program started at Wed-22-May-2019 16:13.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-22-May-2019 16:04 (1659.04 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 22-May-2019 16:13.

Successful requests: 20,038 (1,973)
Average successful requests per day: 12 (281)
Successful requests for pages: 7,604 (856)
Average successful requests for pages per day: 4 (122)
Failed requests: 784 (100)
Redirected requests: 156 (22)
Distinct files requested: 580 (335)
Distinct hosts served: 4,540 (736)
Corrupt logfile lines: 3
Unwanted logfile entries: 15,409
Data transferred: 5.47 gigabytes (422.24 megabytes)
Average data transferred per day: 3.38 megabytes (60.32 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 
Sun2324788++++++++++++++++++++
Mon39351517++++++++++++++++++++++++++++++++++++++
Tue2534956++++++++++++++++++++++++
Wed32031317+++++++++++++++++++++++++++++++++
Thu29851143+++++++++++++++++++++++++++++
Fri2179773++++++++++++++++++++
Sat28781110++++++++++++++++++++++++++++

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
940458.01%.com (Commercial)
440717.10%[unresolved numerical addresses]
1400 7.11%.net (Networks)
1033 3.55%[domain not given]
811 3.06%.de (Germany)
256 1.10%[unknown domain]
213 0.93%.in (India)
310 0.90%.uk (United Kingdom)
239 0.88%.edu (USA Higher Education)
68 0.71%.fr (France)
54 0.50%.ph (Philippines)
124 0.45%.br (Brazil)
88 0.44%.au (Australia)
253 0.35%.ru (Russia)
53 0.32%.se (Sweden)
44 0.24%.cn (China)
25 0.24%.th (Thailand)
26 0.23%.co (Colombia)
61 0.21%.pt (Portugal)
66 0.19%.jp (Japan)
41 0.18%.zw (Zimbabwe)
38 0.18%.nz (New Zealand)
70 0.17%.pl (Poland)
46 0.15%.ca (Canada)
15 0.15%.pk (Pakistan)
19 0.15%.za (South Africa)
27 0.14%.ke (Kenya)
7 0.12%.np (Nepal)
22 0.12%.my (Malaysia)
43 0.11%.org (Non Profit Making Organisations)
38 0.11%.sg (Singapore)
78 0.11%.it (Italy)
12 0.11%.mx (Mexico)
14 0.10%.id (Indonesia)
35 0.10%.ua (Ukraine)
31 0.08%.nl (Netherlands)
30 0.08%.at (Austria)
40 0.08%.es (Spain)
4 0.08%.ng (Nigeria)
41 0.08%.ch (Switzerland)
19 0.07%.vn (Vietnam)
22 0.07%.ar (Argentina)
34 0.07%.fi (Finland)
16 0.06%.be (Belgium)
18 0.06%.arpa (Arpanet)
24 0.05%.dk (Denmark)
14 0.05%.bg (Bulgaria)
7 0.05%.hr (Croatia)
34 0.05%.gr (Greece)
16 0.05%.tr (Turkey)
12 0.04%.tw (Taiwan)
4 0.04%.ie (Ireland)
16 0.04%.il (Israel)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
12 0.03%.na (Namibia)
36 0.03%.hk (Hong Kong)
12 0.02%.hu (Hungary)
13 0.02%.us (United States)
4 0.02%.uy (Uruguay)
11 0.02%.cl (Chile)
23 0.02%.cz (Czech Republic)
2 0.02%.is (Iceland)
2 0.02%.ly (Libya)
1 0.02%.ps (Occupied Palestinian Territory)
1 0.02%.si (Slovenia)
8 0.01%.no (Norway)
1 0.01%.mil (USA Military)
12 0.01%.ro (Romania)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
5 0.01%.tt (Trinidad and Tobago)
1 0.01%.ad (Andorra)
1 0.01%.info (Informational)
2 0.01%.ug (Uganda)
4 0.01%.gh (Ghana)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
3 .lt (Lithuania)
3 .lv (Latvia)
2 .ir (Iran)
4 .kz (Kazakhstan)
4 .lb (Lebanon)
2 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
2 .ee (Estonia)
3 .bn (Brunei Darussalam)

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
315017.78%amazonaws.com
1719 8.91%msn.com
1083 4.41%baidu.com
1033 3.55%[domain not given]
764 2.73%yandex.com
76115.29%bluechipbacklinks.com
567 2.61%your-server.de
313 0.45%114
277 0.65%virginm.net
268 0.11%sogou.com
256 1.10%[unknown domain]
194 5.11%telia.com
175 0.21%mail.ru
173 0.89%41
139 0.34%14
138 0.01%apple.com
134 0.78%103
131 0.36%btcentralplus.com
130 0.14%cam.ac.uk
123 0.70%google.com
851033.89%[not listed: 1,240 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
65software
61pdf
60engineering
35notes
28equivalence
20for
16prove
15and
14in
14of
14classes
14theorem
13set
12r
12diploma
12class
10is
10residue
10computer
10state
9proof
9download
8cauchy
7hindi
7students
6if
6pearl
6theory
6property
6then
246[not listed: 118 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
165403152OS unknown
267662022Windows
 29521113  Windows NT
 3383752  Unknown Windows
 397131  Windows XP
 1310  Windows Server 2003
 108  Windows 2000
 66  Windows 95
 52  Windows 98
326581017Macintosh
42048819Known robots
51955572Unix
 1912556  Linux
 2311  Other Unix
 32  SunOS
 22  OSF1
 151  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
16717200 OK
2662206 Partial content
156301 Document moved permanently
659304 Not modified since last retrieval
46403 Access forbidden
737404 Document not found
1416 Requested range not valid

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- 1kB509 
1kB- 10kB5559 0.46%
10kB-100kB6267 4.35%
100kB- 1MB637339.98%
1MB- 10MB56626.32%
10MB-100MB6528.89%

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
994964.72%.pdf [Adobe Portable Document Format]
21424.98%.gz [Gzip compressed files]
12824.82%  .tar.gz [Compressed archives]
60 7.03%.tbz
994 1.13%.jpg [JPEG graphics]
5166 0.62%[directories]
6 0.55%.tgz
2438 0.39%.html [Hypertext Markup Language]
2 0.25%.zip [Zip archives]
775 0.14%.sml
434 0.19%[not listed: 8 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
138911.11%22/May/19 07:43/~lp15/papers/Notes/SE-I.pdf
1140 0.16%22/May/19 16:03/~lp15/
631 0.03%22/May/19 15:27/~lp15/MLbook/
521 0.64%22/May/19 12:42/~lp15/images/larry-home-small.jpg
418 3.75%21/May/19 07:43/~lp15/papers/Reports/equivclasses-slides.pdf
389 0.95%22/May/19 07:42/~lp15/papers/Notes/Founds-FP.pdf
337 0.30% 4/Oct/16 08:20/~lp15/images/acm-logo.jpg
330 1.59%22/May/19 15:09/~lp15/papers/Formath/Residue-theorem.pdf
329 6.75%22/May/19 11:37/~lp15/Sue/Thesis.pdf
274 0.02%22/May/19 16:02/~lp15/MLbook/pub-details.html
260 0.04%22/May/19 08:47/~lp15/papers/Arith/
260 0.01%22/May/19 11:25/~lp15/MLbook/programs/
257 0.97%22/May/19 11:35/~lp15/papers/Reports/equivclasses.pdf
218 3.20%22/May/19 12:58/~lp15/papers/Reports/thesis.pdf
211 0.01%21/May/19 20:32/~lp15/MLbook/exercises/
192 0.12%22/May/19 12:42/~lp15/papers/refereed.html
184 1.12%22/May/19 02:44/~lp15/papers/Formath/Goedel-ar.pdf
175 0.01%22/May/19 07:53/~lp15/MLbook/programs/sample2.sml
170 0.02%22/May/19 08:48/~lp15/Sue/
143 0.15%21/May/19 11:38/~lp15/papers/Reports/mutil.pdf
137 0.69%22/May/19 08:51/~lp15/papers/Auth/jcs.pdf
135 0.03%22/May/19 08:26/~lp15/papers/Auth/
127 0.02%21/May/19 12:46/~lp15/Grants/AutoPolyFun/
114 0.02%20/May/19 23:27/~lp15/papers/Formath/
114 0.02%22/May/19 02:43/~lp15/papers/Automation/
109 0.01%21/May/19 19:39/~lp15/Pages/cv.html
103 0.02%21/May/19 17:07/~lp15/Grants/SET/
100 0.01%22/May/19 07:42/~lp15/papers/lecture-courses.html
100 0.40%21/May/19 17:11/~lp15/papers/Isabelle/fleuriot-kepler.pdf
98 0.02%21/May/19 09:10/~lp15/MLbook/ERRATA.html
98 0.15%21/May/19 15:55/~lp15/papers/Auth/lics.pdf
96 0.01%22/May/19 01:51/~lp15/archive/
95 0.01%21/May/19 17:05/~lp15/Grants/
94 0.16%21/May/19 17:21/~lp15/papers/Formath/Goedel-logic.pdf
93 0.01%20/May/19 14:45/~lp15/papers/Reports/
93 0.39%22/May/19 00:13/~lp15/papers/Formath/set-I.pdf
90 0.16%21/May/19 19:39/~lp15/Pages/vita.pdf
87 0.01%22/May/19 02:21/~lp15/papers/
10 21/May/19 00:15  /~lp15/papers/?C=D;O=A
87 0.01%21/May/19 13:00/~lp15/Grants/LEO-II/
86 0.08%22/May/19 09:05/~lp15/Usage/
84 0.12%22/May/19 15:57/~lp15/papers/Auth/SET-overview-2002.pdf
83 0.03%20/May/19 11:36/~lp15/MLbook/exercises/exer3.html
82 0.01%21/May/19 22:01/~lp15/MLbook/exercises/exer2.html
81 0.22%20/May/19 09:53/~lp15/papers/Auth/tls.pdf
79 0.01%21/May/19 18:46/~lp15/papers/Isabelle/
78 0.01%22/May/19 11:23/~lp15/Grants/Alexandria/
78 0.01%21/May/19 16:03/~lp15/papers/hol.html
77 22/May/19 12:38/~lp15/MLbook/general.html
77 0.01%22/May/19 09:09/~lp15/images/
75 0.01%22/May/19 01:12/~lp15/papers/workshop.html
74 0.61%20/May/19 12:26/~lp15/Pages/Munich-slides.pdf
73 21/May/19 18:37/~lp15/papers/Notes/
73 0.36%21/May/19 08:25/~lp15/papers/Bella/smartcards-jcs.pdf
72 0.25%19/May/19 23:59/~lp15/papers/Automation/sultana-pfreconstruction.pdf
72 0.01%21/May/19 00:10/~lp15/papers/invited.html
71 0.01%21/May/19 10:32/~lp15/Grants/Automation/
70 20/May/19 14:45/~lp15/Grants/BeyondLinArith/
69 0.35%20/May/19 09:49/~lp15/papers/Arith/Sogokon-nfm14.pdf
68 15/May/19 18:52/~lp15/MLbook/StandardML.plist
67 20/May/19 14:45/~lp15/SpryAssets/
66 0.01%21/May/19 11:37/~lp15/papers/books.html
65 0.25%22/May/19 08:25/~lp15/papers/Automation/filtering.pdf
65 0.27%22/May/19 12:30/~lp15/MLbook/PDF/chapter7.pdf
64 22/May/19 14:06/~lp15/papers/Bella/
64 0.19%21/May/19 11:15/~lp15/papers/Formath/Greens-theorem.pdf
63 0.01%22/May/19 12:05/~lp15/Pages/Scream.html
62 0.15%16/May/19 04:26/~lp15/papers/Formath/automata.pdf
62 0.01%21/May/19 12:34/~lp15/MLbook/programs/sample3.sml
62 0.27%16/May/19 22:31/~lp15/papers/Bella/accountability.pdf
62 0.01%22/May/19 15:17/~lp15/MLbook/programs/sample5.sml
62 0.18%22/May/19 15:29/~lp15/MLbook/PDF/chapter1.pdf
61 0.24%21/May/19 19:47/~lp15/papers/Reports/Bridge-ml.pdf
61 0.01%20/May/19 14:45/~lp15/papers/recur.html
61 0.02%22/May/19 11:26/~lp15/MLbook/exercises/exer8.html
61 21/May/19 18:17/~lp15/css/
60 22/May/19 10:52/~lp15/Pages/CL-English.html
60 0.01%20/May/19 21:27/~lp15/MLbook/programs/sample8-2004.sml
60 0.18%17/May/19 09:05/~lp15/papers/Reports/TPHOLs05.pdf
59 0.16%22/May/19 13:22/~lp15/papers/Formath/AC.pdf
59 0.01%19/May/19 23:21/~lp15/MLbook/review.html
59 18/May/19 20:28/~lp15/MLbook/programs/ROOT.sml
59 0.13%22/May/19 00:56/~lp15/papers/Arith/Huang-3heuristics.pdf
59 0.11%21/May/19 12:16/~lp15/papers/Arith/Narayanan DATE.pdf
58 20/May/19 14:45/~lp15/Pages/
58 0.01%19/May/19 20:09/~lp15/MLbook/programs/sample4.sml
57 0.35%20/May/19 01:42/~lp15/papers/Arith/calculemus2008.pdf
56 0.11%17/May/19 12:31/~lp15/papers/Auth/multicast_verification.pdf
56 22/May/19 15:02/~lp15/MLbook/first/
55 21/May/19 17:21/~lp15/papers/UNITY/
55 0.14%20/May/19 10:50/~lp15/papers/Bella/esorics98.pdf
55 0.01%22/May/19 01:48/~lp15/Pages/ACS-proposals.html
55 0.12%22/May/19 01:17/~lp15/papers/Automation/paar.pdf
54 20/May/19 19:53/~lp15/papers/Arith/download.html
54 0.07%21/May/19 15:51/~lp15/papers/Auth/yahalom.pdf
54 0.16%14/May/19 07:42/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
53 0.01%22/May/19 14:19/~lp15/MLbook/exercises/exer4.html
53 0.03%22/May/19 15:39/~lp15/images/pilkington.jpg
53 20/May/19 17:40/~lp15/papers/Workshop/
53 0.17%22/May/19 08:44/~lp15/papers/Bella/certified-email.pdf
52 0.05%19/May/19 12:05/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
51 0.02%22/May/19 11:50/~lp15/Usage/images/
50 0.12%22/May/19 15:33/~lp15/papers/Bella/registration.pdf
49 0.12%16/May/19 03:40/~lp15/Pages/harrison-real.pdf
49 17/May/19 02:04/~lp15/Data/
49 0.14%22/May/19 08:27/~lp15/papers/Arith/Hscc09.pdf
48 0.12%22/May/19 10:10/~lp15/papers/Bella/nonrepudiation.pdf
48 0.20%16/May/19 07:22/~lp15/papers/Formath/reflection-slides.pdf
48 0.11%22/May/19 15:29/~lp15/MLbook/PDF/contents.pdf
47 22/May/19 02:12/~lp15/papers/Ballarin/
47 22/May/19 15:19/~lp15/Templates/
47 19/May/19 08:20/~lp15/papers/Arith/qepcad-for-mac.html
46 21/May/19 14:12/~lp15/tmp/
46 0.24%22/May/19 12:37/~lp15/MLbook/PDF/chapter3.pdf
46 0.10%18/May/19 19:01/~lp15/papers/Isabelle/aisc98.pdf
46 1.16%19/May/19 20:48/~lp15/papers/Auth/lics-slides.pdf
46 0.02%22/May/19 08:48/~lp15/Sue/Sue Paulson.jpg
46 0.01%20/May/19 00:17/~lp15/MLbook/exercises/exer7.html
45 22/May/19 12:49/~lp15/papers/Reviews/
45 0.09%22/May/19 10:09/~lp15/papers/Bella/cav98.pdf
45 0.01%21/May/19 18:34/~lp15/Grants/holisa.html
44 0.02%21/May/19 15:56/~lp15/papers/Reviews/MLer.pdf
44 0.13%13/May/19 14:31/~lp15/papers/Automation/meng-termination.pdf
44 0.01%21/May/19 17:19/~lp15/Grants/UNITY/
43 0.01%21/May/19 09:45/~lp15/MLbook/programs/sample7.sml
43 0.18%20/May/19 22:29/~lp15/papers/Automation/translations-jar.pdf
43 0.22%10/May/19 18:06/~lp15/papers/UNITY/composition.pdf
43 0.06%20/May/19 09:58/~lp15/Sue/Cultures of Dance.ppt
42 0.01%22/May/19 15:59/~lp15/MLbook/programs/sample8.sml
42 0.11%20/May/19 16:42/~lp15/papers/Automation/translations.pdf
42 0.01%21/May/19 09:59/~lp15/MLbook/exercises/exer6.html
41 0.01%21/May/19 08:53/~lp15/MLbook/programs/sample9.sml
41 0.11%20/May/19 10:31/~lp15/papers/Arith/lpar2007.pdf
40 0.01%22/May/19 00:59/~lp15/MLbook/programs/sample10.sml
40 0.07%21/May/19 21:22/~lp15/papers/Isabelle/chap700.pdf
40 0.01%21/May/19 12:44/~lp15/MLbook/exercises/exer5.html
40 0.09%19/May/19 12:28/~lp15/Grants/AutoPolyFun/case.pdf
40 0.04%18/May/19 22:13/~lp15/papers/Reports/CADE9.pdf
40 0.07%22/May/19 12:07/~lp15/papers/Bella/purchase.pdf
39 20/May/19 09:52/~lp15/MLbook/disclaimer.html
39 0.06%14/May/19 18:35/~lp15/papers/UNITY/tphols01.pdf
39 0.36%20/May/19 18:05/~lp15/papers/Bella/purchase-JAR.pdf
39 0.06%16/May/19 16:36/~lp15/papers/Automation/thf-sledge.pdf
38 0.03%20/May/19 08:55/~lp15/papers/Reviews/construct.pdf
38 0.09%22/May/19 10:10/~lp15/papers/Isabelle/blast.pdf
38 0.13%13/May/19 04:27/~lp15/papers/Formath/reflection.pdf
37 14/May/19 13:45/~lp15/papers/Deduction/
37 0.10%22/May/19 12:30/~lp15/papers/Isabelle/coding.pdf
37 0.33%17/May/19 19:41/~lp15/papers/Automation/info-and-comp.pdf
36 0.09%17/May/19 02:16/~lp15/papers/Automation/IJCAR2004.pdf
36 0.05% 3/Oct/16 05:49/~lp15/papers/Workshop/friedrich.pdf
35 0.09%21/May/19 18:35/~lp15/papers/Reports/blast.pdf
35 0.23%22/May/19 11:57/~lp15/papers/Arith/MetiTarski-jar.pdf
35 0.09%12/May/19 09:14/~lp15/papers/Automation/jar-smt.pdf
35 18/May/19 17:22/~lp15/Pages/projects.html
35 0.07%20/May/19 17:40/~lp15/papers/Arith/fmcad2009.pdf
34 0.08%22/May/19 09:20/~lp15/papers/UNITY/ehmety-composition.pdf
34 0.13%18/May/19 11:40/~lp15/papers/Auth/SET-overview-IJIS.pdf
34 0.07%18/May/19 21:47/~lp15/papers/Auth/ijcar2001.pdf
34 0.08%22/May/19 00:41/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
33 19/May/19 10:43/~lp15/MLbook/programs/notes.html
33 0.13%22/May/19 14:40/~lp15/MLbook/PDF/chapter6.pdf
33 0.09%21/May/19 22:57/~lp15/papers/Formath/milner-ind-defs.pdf
33 0.18%22/May/19 13:09/~lp15/MLbook/PDF/chapter8.pdf
33 0.14%22/May/19 12:37/~lp15/MLbook/PDF/chapter2.pdf
32 18/May/19 19:41/~lp15/Data/ho-translations/
32 0.16%22/May/19 14:19/~lp15/MLbook/PDF/chapter4.pdf
32 0.18%19/May/19 15:48/~lp15/papers/Automation/filtering-jal.pdf
32 0.01%20/May/19 00:31/~lp15/MLbook/first/programs/Lambda.ML
32 0.05%17/May/19 17:17/~lp15/papers/Reports/CADE11.pdf
32 21/May/19 19:29/~lp15/papers/Arith/atan-problem-1-weak.html
32 0.08%21/May/19 18:36/~lp15/papers/Automation/cade2011-sledge-smt.pdf
31 0.15%22/May/19 12:00/~lp15/Grants/Alexandria/Part-B2.pdf
31 0.12%22/May/19 12:38/~lp15/MLbook/PDF/chapter10.pdf
31 0.01%21/May/19 21:06/~lp15/MLbook/programs/sample3-old.sml
31 14/May/19 14:49/~lp15/Data/relevance/
30 0.02%20/May/19 21:28/~lp15/papers/paulson.bib
30 0.03%20/May/19 23:33/~lp15/Grants/LEO-II/leo2-case.pdf
30 0.07%19/May/19 15:44/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.06%22/May/19 00:27/~lp15/papers/Bella/dimacs97.pdf
30 21/May/19 09:05/~lp15/MLbook/first/programs/Functions.ML
29 0.06%16/May/19 15:37/~lp15/papers/Formath/final.pdf
29 0.04%18/May/19 12:06/~lp15/papers/Auth/auth-slides.pdf
29 0.11%21/May/19 18:27/~lp15/papers/Notes/MOD-slides.pdf
29 0.05%22/May/19 01:17/~lp15/papers/Workshop/papers/kalvala-linear.pdf
29 0.04%18/May/19 12:49/~lp15/papers/Arith/pdpar2006.pdf
29 0.17%17/May/19 11:31/~lp15/papers/Workshop/papers/rasmussen.pdf
29 0.09%17/May/19 11:17/~lp15/papers/Workshop/papers/kammueller.pdf
28 0.04%21/May/19 09:22/~lp15/papers/Arith/FroCoS-2013-invited.pdf
28 0.01%20/May/19 15:30/~lp15/MLbook/programs/test10.sml
28 0.15%21/May/19 15:33/~lp15/papers/Reports/fleuriot-kepler.pdf
28 0.14%21/May/19 17:24/~lp15/papers/UNITY/UNITY.pdf
28 0.09%20/May/19 21:16/~lp15/papers/UNITY/Mechanizing-compositional.pdf
28 0.09%18/May/19 00:05/~lp15/papers/Bella/esorics2000.pdf
28 0.06%19/May/19 23:28/~lp15/papers/Arith/ITP-2012-invited.pdf
27 18/May/19 06:30/~lp15/MLbook/first/programs/
27 0.93%19/May/19 18:04/~lp15/Sue/Phd-Poster.pdf
27 0.05%16/May/19 12:19/~lp15/papers/Workshop/papers/thompson.pdf
27 0.05%13/May/19 01:21/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
27 0.35%17/May/19 14:02/~lp15/papers/Reports/ref97.pdf
27 0.21%21/May/19 23:05/~lp15/Pages/4colproof.pdf
26 0.06%20/May/19 10:51/~lp15/papers/Arith/case-splitting.pdf
26 0.01%22/May/19 11:11/~lp15/MLbook/programs/sample10-old.sml
26 0.35% 1/Oct/16 23:58/~lp15/papers/Automation/reconstruction-slides.pdf
26 1.68%30/Sep/16 05:04/~lp15/papers/Arith/FroCos-presentation.pdf
26 0.13%20/May/19 20:58/~lp15/papers/Formath/set-II.pdf
25 21/May/19 17:08/~lp15/Grants/auth.html
25 0.34%20/May/19 11:47/~lp15/papers/Reports/TypeClasses.pdf
25 0.05%16/May/19 23:56/~lp15/papers/Automation/leo2-ijcar.pdf
25 0.15%20/May/19 15:33/~lp15/papers/Automation/reconstruction.pdf
25 0.16%16/May/19 10:38/~lp15/papers/Reports/logics97.pdf
25 0.04%20/May/19 23:56/~lp15/papers/Auth/security-protocols.pdf
25 0.75%19/May/19 14:07/~lp15/Sue/Thesis-Appendices.pdf
24 0.31%21/May/19 11:12/~lp15/papers/Reports/popl82.pdf
24 0.01%20/May/19 20:23/~lp15/MLbook/programs/sample8-old.sml
24 0.04%15/May/19 10:12/~lp15/papers/Reports/Descent of BAN.pdf
24 0.08%21/May/19 19:42/~lp15/papers/Workshop/papers/nipkow.pdf
24 21/May/19 14:04/~lp15/MLbook/first/programs/Modules.ML
24 0.01%21/May/19 12:40/~lp15/MLbook/programs/sample9-2004.sml
24 0.08%15/May/19 08:05/~lp15/papers/Arith/SNC2014-invited.pdf
24 0.12%18/May/19 16:11/~lp15/papers/Formath/constructible-slides.pdf
23 0.19%21/May/19 10:38/~lp15/papers/Formath/Future of formalised maths.pdf
23 0.18%10/May/19 09:17/~lp15/papers/Reports/intro-to-isabelle.pdf
23 0.09%22/May/19 12:38/~lp15/MLbook/PDF/chapter9.pdf
23 18/May/19 14:54/~lp15/MLbook/exercises/disclaimer.html
22 21/May/19 15:17/~lp15/papers/Workshop/matthews.html
22 0.29%16/May/19 23:56/~lp15/Grants/Automation/poster.pdf
22 0.14%19/May/19 23:07/~lp15/papers/Auth/tls-slides.pdf
22 0.09%22/May/19 12:38/~lp15/MLbook/PDF/chapter5.pdf
22 0.01%19/May/19 19:20/~lp15/papers/Arith/NFM2014-invited.pdf
22 0.19%19/May/19 08:19/~lp15/papers/Auth/SET-overview-slides.pdf
22 0.03%20/May/19 12:14/~lp15/papers/Auth/recur-slides.pdf
22 19/May/19 23:31/~lp15/MLbook/first/programs/Imperative.ML
21 0.07%22/May/19 02:36/~lp15/papers/Arith/case-splitting-stats.csv
21 0.04%16/May/19 21:16/~lp15/papers/Workshop/papers/ayari.pdf
21 0.01%16/May/19 17:38/~lp15/papers/Formath/AC-slides.pdf
21 0.03% 9/May/19 19:11/~lp15/papers/Notes/leeds-notes.pdf
21 0.04%30/Sep/16 01:42/~lp15/papers/Formath/constructible-abstract.pdf
21 1.20%14/May/19 23:59/~lp15/papers/Notes/LCF+.pdf
20 16/May/19 20:07/~lp15/papers/OLD.SETS/
19 1.19%11/May/19 14:49/~lp15/papers/Arith/ITP 2012 presentation.pdf
19 0.01%21/May/19 19:15/~lp15/MLbook/first/programs/Hal.ML
19 14/May/19 16:04/~lp15/papers/Workshop/participants.html
19 0.09%19/May/19 17:13/~lp15/papers/Arith/cicm2012.pdf
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.09%10/May/19 02:07/~lp15/papers/Auth/SET-document.pdf
18 0.24%21/May/19 12:21/~lp15/papers/Reports/TypeClasses-slides.pdf
18 0.04%10/May/19 07:28/~lp15/papers/Workshop/papers/voelker.pdf
18 22/May/19 15:29/~lp15/MLbook/PDF/
18 0.05%10/May/19 09:04/~lp15/papers/Notes/strategy.pdf
18 0.02%16/May/19 23:56/~lp15/Grants/Automation/case.pdf
18 14/May/19 16:11/~lp15/papers/Workshop/thompson.html
18 0.29%14/May/19 19:10/~lp15/papers/Arith/metit-slides.pdf
18 0.06% 3/Oct/16 04:35/~lp15/papers/Formath/Goedel-logic-mine.pdf
18 0.02%20/May/19 21:31/~lp15/papers/Workshop/kammueller.pdf
18 0.06%22/May/19 11:23/~lp15/images/ERC-LOGO.jpg
18 0.06%18/May/19 01:16/~lp15/papers/Isabelle/sylow.pdf
18 17/May/19 01:01/~lp15/papers/Workshop/programme.html
17 21/May/19 10:11/~lp15/MLbook/first/programs/ParsePrint.ML
17 0.01%10/May/19 05:14/~lp15/MLbook/first/ML-syntax.ps.gz
17 0.15%14/May/19 22:26/~lp15/Grants/BeyondLinArith/arith-case.pdf
17 0.05%22/May/19 12:13/~lp15/papers/Workshop/papers/vigano.pdf
17 0.16%13/May/19 13:53/~lp15/papers/Deduction/lecture3.pdf
17 0.97%15/May/19 01:04/~lp15/papers/Formath/Goedel-slides.pdf
17 0.04%20/May/19 18:28/~lp15/papers/Ballarin/aisc98.pdf
17 0.19%11/May/19 15:04/~lp15/papers/Arith/NFM2014-slides.pdf
16 15/May/19 00:19/~lp15/papers/Workshop/staples.html
16 14/May/19 15:13/~lp15/papers/Formath/ind-defs-slides.pdf
16 0.41%15/May/19 11:18/~lp15/Grants/BeyondLinArith/arith-poster.pdf
16 16/May/19 17:31/~lp15/MLbook/first/programs/Lists-Trees.ML
16 0.01%22/May/19 10:18/~lp15/Grants/SET/case.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 0.52% 8/May/19 10:03/~lp15/papers/Arith/SNC2014-slides.pdf
16 15/May/19 06:26/~lp15/papers/Workshop/futures.html
16 14/May/19 12:55/~lp15/Sue/Cultures of Dance.html
15 14/May/19 16:47/~lp15/papers/Workshop/kalvala.html
15 0.19%20/May/19 23:00/~lp15/papers/Formath/constructible-theory.pdf
15 2.29%21/May/19 17:09/~lp15/Grants/Alexandria/poster.pdf
15 0.02%18/May/19 14:36/~lp15/Grants/Automation/final.pdf
15 0.19% 3/Oct/16 22:54/~lp15/papers/Isabelle/Cube-presentation.pdf
15 0.04%16/May/19 15:17/~lp15/papers/Workshop/papers/matthews.pdf
15 0.04%18/May/19 04:31/~lp15/papers/Workshop/papers/owens.pdf
15 14/May/19 15:35/~lp15/papers/Workshop/agerholm.html
15 0.05%11/May/19 23:28/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
15 21/May/19 18:29/~lp15/Grants/Chaieb.html
14 0.01% 3/Oct/16 01:06/~lp15/papers/Notes/strategy-slides.pdf
14 0.02%14/May/19 15:06/~lp15/papers/Arith/Overcoming.pdf
14 14/May/19 16:32/~lp15/papers/Workshop/paulson.html
14 0.22%10/May/19 02:08/~lp15/papers/Notes/formalizing-abst-slides.pdf
14 22/May/19 15:10/~lp15/MLbook/first/ERRATA1.txt
14 0.05% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
14 0.18%19/May/19 10:20/~lp15/papers/Auth/dagstuhl2003-slides.pdf
14 0.23%14/May/19 11:17/~lp15/papers/Auth/ijcar2001-slides.pdf
14 0.16%13/May/19 23:53/~lp15/papers/Bella/TPHOLs03-slides.pdf
13 14/May/19 16:32/~lp15/papers/Workshop/nipkow.html
13 0.03%12/May/19 13:20/~lp15/papers/Isabelle/Goedel-logic.pdf
13 0.13%21/Sep/16 21:51/~lp15/papers/Deduction/lecture1.pdf
13 0.02%21/May/19 11:54/~lp15/papers/Workshop/vigano.pdf
13 14/May/19 12:48/~lp15/papers/Workshop/wolff.html
12 0.21% 8/May/19 18:40/~lp15/papers/Auth/dagstuhl2001-slides.pdf
12 17/May/19 17:03/~lp15/papers/Workshop/bednarczyk.txt
12 0.01%30/Sep/16 01:42/~lp15/papers/Isabelle/blast-slides.pdf
12 0.08%30/Sep/16 01:41/~lp15/papers/Automation/Huet colloquium.pdf
12 0.02% 2/Oct/16 05:09/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
12 15/May/19 00:47/~lp15/papers/Arith/RELEASE-NOTES.txt
12 0.04% 3/Oct/16 23:05/~lp15/papers/Workshop/papers/agerholm.pdf
11 0.08%16/May/19 20:12/~lp15/images/pilkington-full.jpg
11 22/May/19 15:14/~lp15/MLbook/first/ERRATA3.txt
11 20/May/19 18:11/~lp15/Grants/BeyondLinArith/auth-final.pdf
11 0.46%14/May/19 08:55/~lp15/Grants/LEO-II/leo project poster.pdf
11 2.42%17/May/19 17:32/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.44%19/May/19 16:30/~lp15/papers/Arith/Overcoming-slides.pdf
11 0.05%18/May/19 05:56/~lp15/Data/relevance/tptp-2007-03-13.tbz
11 22/May/19 15:06/~lp15/MLbook/first/ERRATA2.txt
10 0.01%19/May/19 19:52/~lp15/Sue/Cultures of Dance.pdf
10 0.02%14/May/19 20:11/~lp15/Grants/Chaieb-case.pdf
10 14/May/19 13:22/~lp15/papers/Workshop/heule.html
10 0.05%10/May/19 02:56/~lp15/papers/Workshop/papers/bednarczyk.pdf
10 0.03%22/May/19 12:38/~lp15/MLbook/PDF/projects-bib.pdf
10 3.22%13/May/19 08:07/~lp15/archive/Isabelle2009-1.tar.gz
10 0.03%16/May/19 16:25/~lp15/papers/Ballarin/coding.pdf
9  3/Oct/16 14:01/~lp15/Grants/UNITY/final.pdf
9 0.02%11/May/19 13:13/~lp15/papers/Workshop/papers/benini.pdf
9 21/May/19 17:15/~lp15/Grants/SET/final.pdf
9 0.07%21/May/19 19:06/~lp15/papers/Isabelle/Goedel-ar.pdf
9 19/May/19 22:31/~lp15/Data/relevance/unfiltered-vampire.txt
8 0.01%13/May/19 16:25/~lp15/papers/Workshop/papers/staples.pdf
8 3.35%20/May/19 23:21/~lp15/archive/Isabelle2014.tar.gz
8 0.06%18/May/19 21:35/~lp15/Grants/Alexandria/DoA.pdf
8 0.07%20/May/19 01:52/~lp15/papers/Deduction/lecture4.pdf
7 0.02% 9/May/19 16:47/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
7 0.02%15/May/19 14:08/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
7 15/May/19 22:08/~lp15/MLbook/first/programs/edits.txt
7  9/May/19 14:34/~lp15/images/larry-paulson.jpg
7 2.93%20/May/19 10:20/~lp15/archive/Isabelle2013-1.tar.gz
7 0.05% 2/Oct/16 14:22/~lp15/papers/Deduction/lecture2.pdf
7 16/May/19 09:38/~lp15/Grants/UNITY/case.pdf
7 1.99%17/May/19 22:48/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
7 0.03%20/May/19 21:44/~lp15/papers/Arith/Narayanan TR.pdf
7 0.15%15/May/19 17:22/~lp15/papers/Notes/ARW-2018.pdf
7 17/May/19 15:53/~lp15/Data/relevance/unfiltered-spass.txt
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 0.07%20/May/19 15:47/~lp15/papers/Automation/h4qed-clean.pdf
35019.63%22/May/19 14:37[not listed: 101 files]