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

Program started at Fri-19-Aug-2016 16:22.
Analysed requests from Wed-05-Nov-2014 15:02 to Fri-19-Aug-2016 16:18 (653.05 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 19-Aug-2016 16:22.

Successful requests: 14,890 (2,735)
Average successful requests per day: 22 (390)
Successful requests for pages: 5,263 (1,073)
Average successful requests for pages per day: 8 (153)
Failed requests: 402 (75)
Redirected requests: 72 (13)
Distinct files requested: 515 (457)
Distinct hosts served: 3,330 (776)
Corrupt logfile lines: 4
Unwanted logfile entries: 10,893
Data transferred: 6.19 gigabytes (1.28 gigabytes)
Average data transferred per day: 9.70 megabytes (186.83 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 30 requests for pages or part thereof.

dayreqspages 
Sun1275501+++++++++++++++++
Mon1735608+++++++++++++++++++++
Tue29421236++++++++++++++++++++++++++++++++++++++++++
Wed2799780++++++++++++++++++++++++++
Thu2119725+++++++++++++++++++++++++
Fri2722962+++++++++++++++++++++++++++++++++
Sat1298451++++++++++++++++

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
585735.35%.com (Commercial)
151028.11%.uk (United Kingdom)
379617.36%[unresolved numerical addresses]
926 4.91%.net (Networks)
213 3.60%[unknown domain]
748 2.18%.de (Germany)
72 1.93%.ph (Philippines)
313 1.07%[domain not given]
129 1.07%.edu (USA Higher Education)
204 0.83%.in (India)
21 0.57%.pl (Poland)
155 0.34%.ru (Russia)
74 0.21%.jp (Japan)
85 0.20%.au (Australia)
12 0.16%.at (Austria)
54 0.15%.br (Brazil)
11 0.13%.ca (Canada)
16 0.11%.tr (Turkey)
42 0.11%.vn (Vietnam)
18 0.09%.bd (Bangladesh)
55 0.08%.mx (Mexico)
9 0.08%.gr (Greece)
65 0.08%.pt (Portugal)
14 0.08%.za (South Africa)
31 0.07%.it (Italy)
2 0.07%.uy (Uruguay)
29 0.06%.fr (France)
14 0.06%.ar (Argentina)
27 0.06%.ke (Kenya)
4 0.06%.eg (Egypt)
31 0.05%.nl (Netherlands)
19 0.05%.id (Indonesia)
13 0.05%.ng (Nigeria)
10 0.05%.nz (New Zealand)
48 0.05%.org (Non Profit Making Organisations)
8 0.04%.gh (Ghana)
3 0.04%.np (Nepal)
5 0.04%.py (Paraguay)
5 0.04%.ci (Ivory Coast)
15 0.04%.ch (Switzerland)
1 0.03%.bn (Brunei Darussalam)
14 0.03%.sg (Singapore)
10 0.03%.fi (Finland)
4 0.03%.ug (Uganda)
14 0.02%.co (Colombia)
4 0.02%.kz (Kazakhstan)
3 0.01%.gov (USA Government)
4 0.01%.pe (Peru)
4 0.01%.bg (Bulgaria)
6 0.01%.ir (Iran)
3 0.01%.be (Belgium)
12 0.01%.se (Sweden)
3 0.01%.tv (Tuvalu)
5 0.01%.mil (USA Military)
26 0.01%.cz (Czech Republic)
7 0.01%.cn (China)
20 0.01%.dk (Denmark)
8 0.01%.ro (Romania)
5 0.01%.ge (Georgia)
8 0.01%.th (Thailand)
7 0.01%.ie (Ireland)
5 0.01%.es (Spain)
2 .zm (Zambia)
17 .hu (Hungary)
9 .am (Armenia)
3 .ua (Ukraine)
1 .arpa (Arpanet)
1 .md (Moldova)
5 .hk (Hong Kong)
4 .pk (Pakistan)
3 .ma (Morocco)
1 .sa (Saudi Arabia)
1 .bw (Botswana)
2 .no (Norway)
2 .hr (Croatia)
1 .tw (Taiwan)
1 .il (Israel)
1 .biz (Businesses)

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
1807 6.66%msn.com
1202 7.63%amazonaws.com
115319.33%cam.ac.uk
802 2.52%baidu.com
588 2.15%yandex.com
560 0.04%4
377 1.14%your-server.de
339 1.12%103
313 1.07%[domain not given]
278 8.14%bl.uk
213 3.60%[unknown domain]
200 0.96%117
172 0.07%sogou.com
156 1.01%googleusercontent.com
142 0.63%41
140 7.04%wotbox.com
117 0.30%mail.ru
111 0.40%virginm.net
102 0.17%btcentralplus.com
96 1.04%opera-mini.net
602234.98%[not listed: 881 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
160software
152engineering
145pdf
103notes
43in
26of
26for
12equivalence
12theorem
11hindi
11classes
11computer
11and
10engineer
10diploma
9paper
9class
8on
8i.pdf
8students
8http://www.cl.cam.ac.uk/~lp15/papers/notes/se
7overview
7information
7residue
7number
7the
6proved
6newton
6formal
6bscs
302[not listed: 138 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
148442076OS unknown
256761814Windows
 35551324  Unknown Windows
 958281  Windows NT
 1155205  Windows XP
 32  Windows 98
 41  Windows 2000
 11  Windows Server 2003
31596559Macintosh
41323416Known robots
51404382Unix
 1402382  Linux
 20  Other Unix
670Symbian 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
12520200 OK
1923206 Partial content
72301 Document moved permanently
447304 Not modified since last retrieval
125403 Access forbidden
275404 Document not found
2405 Method not allowed

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
0559 
1B- 10B7 
11B- 100B3 
101B- 1kB289 
1kB- 10kB3450 0.20%
10kB-100kB4534 2.71%
100kB- 1MB540429.07%
1MB- 10MB55223.53%
10MB-100MB9244.49%

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
780345.44%.pdf [Adobe Portable Document Format]
31339.81%.gz [Gzip compressed files]
19739.58%  .tar.gz [Compressed archives]
8812.43%.tbz
676 0.61%.jpg [JPEG graphics]
7 0.57%.tgz
3731 0.38%[directories]
3 0.33%.zip [Zip archives]
1532 0.25%.html [Hypertext Markup Language]
737 0.17%[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
155510.56%19/Aug/16 16:14/~lp15/papers/Notes/SE-I.pdf
757 1.79%19/Aug/16 13:25/~lp15/papers/Notes/strategy.pdf
689 0.02%19/Aug/16 13:33/~lp15/MLbook/
674 0.10%19/Aug/16 16:14/~lp15/
311 0.34%19/Aug/16 16:14/~lp15/images/larry-home-small.jpg
303 0.01%19/Aug/16 04:19/~lp15/Data/ho-translations/
278 0.22%19/Aug/16 16:14/~lp15/images/acm-logo.jpg
277 0.60%19/Aug/16 12:16/~lp15/papers/Notes/Founds-FP.pdf
234 5.76%17/Aug/16 04:59/~lp15/Sue/Thesis.pdf
217 1.81%19/Aug/16 08:18/~lp15/papers/Reports/equivclasses-slides.pdf
210 0.03%19/Aug/16 13:44/~lp15/papers/Arith/
187 0.64%19/Aug/16 14:04/~lp15/papers/Reports/equivclasses.pdf
164 0.01%19/Aug/16 15:20/~lp15/MLbook/programs/
157 0.10%19/Aug/16 05:02/~lp15/papers/refereed.html
125 0.54%19/Aug/16 15:10/~lp15/papers/Auth/jcs.pdf
106 19/Aug/16 08:53/~lp15/MLbook/exercises/
100 0.47%19/Aug/16 15:46/~lp15/papers/Formath/Residue-theorem.pdf
100 0.64%19/Aug/16 15:02/~lp15/papers/Formath/Goedel-ar.pdf
92 0.01%18/Aug/16 20:49/~lp15/Sue/
88 2.56%19/Aug/16 12:34/~lp15/papers/Reports/thesis.pdf
84 0.20%19/Aug/16 08:35/~lp15/papers/Auth/tls.pdf
81 0.02%19/Aug/16 07:36/~lp15/papers/Auth/
79 19/Aug/16 09:10/~lp15/MLbook/programs/sample2.sml
79 0.07%19/Aug/16 03:36/~lp15/papers/Reports/mutil.pdf
78 19/Aug/16 13:10/~lp15/MLbook/pub-details.html
78 0.01%19/Aug/16 11:46/~lp15/Grants/AutoPolyFun/
75 0.01%19/Aug/16 06:42/~lp15/papers/
75 0.01%19/Aug/16 08:40/~lp15/Grants/SET/
73 19/Aug/16 09:07/~lp15/papers/Arith/download.html
68 0.11%19/Aug/16 00:18/~lp15/papers/Formath/Goedel-logic.pdf
68 0.01%17/Aug/16 20:44/~lp15/papers/Automation/
68 0.01%18/Aug/16 17:45/~lp15/MLbook/exercises/exer2.html
66 0.10%19/Aug/16 01:45/~lp15/Pages/vita.pdf
62 0.09%18/Aug/16 15:10/~lp15/papers/Auth/lics.pdf
62 18/Aug/16 19:15/~lp15/papers/lecture-courses.html
59 19/Aug/16 09:09/~lp15/papers/Notes/
59 0.22%18/Aug/16 20:51/~lp15/papers/Formath/set-I.pdf
58 0.22%18/Aug/16 18:27/~lp15/papers/Bella/accountability.pdf
57 1.22%18/Aug/16 21:48/~lp15/papers/Auth/lics-slides.pdf
55 0.01%17/Aug/16 15:47/~lp15/MLbook/ERRATA.html
55 0.14%18/Aug/16 08:52/~lp15/papers/Automation/meng-termination.pdf
53 0.12%18/Aug/16 09:02/~lp15/papers/Formath/AC.pdf
53 1.25%18/Aug/16 20:57/~lp15/papers/Notes/LCF+.pdf
52 0.35%19/Aug/16 09:20/~lp15/Pages/Munich-slides.pdf
51 19/Aug/16 15:47/~lp15/Pages/cv.html
51 0.06%17/Aug/16 18:38/~lp15/papers/Auth/SET-overview-2002.pdf
51 0.01%18/Aug/16 15:18/~lp15/archive/
51 0.23%19/Aug/16 15:58/~lp15/papers/Isabelle/fleuriot-kepler.pdf
50 0.01%19/Aug/16 04:54/~lp15/MLbook/review.html
49 18/Aug/16 17:40/~lp15/MLbook/general.html
49 0.17%18/Aug/16 16:39/~lp15/papers/Automation/filtering.pdf
49 0.06%19/Aug/16 14:39/~lp15/Usage/
49 0.01%18/Aug/16 08:12/~lp15/MLbook/programs/sample8-2004.sml
49 0.13%19/Aug/16 02:27/~lp15/papers/Reports/TPHOLs05.pdf
48 0.29%19/Aug/16 14:55/~lp15/papers/Arith/MetiTarski-jar.pdf
47 0.08%19/Aug/16 05:33/~lp15/papers/Isabelle/chap700.pdf
47 0.26%18/Aug/16 21:04/~lp15/papers/Arith/calculemus2008.pdf
47 0.01%19/Aug/16 05:20/~lp15/MLbook/exercises/exer8.html
47 0.21%18/Aug/16 20:51/~lp15/papers/Bella/smartcards-jcs.pdf
47 0.01%19/Aug/16 07:58/~lp15/Grants/UNITY/
46 19/Aug/16 00:42/~lp15/papers/Bella/
46 0.09%18/Aug/16 00:09/~lp15/papers/Bella/nonrepudiation.pdf
46 0.16%17/Aug/16 07:44/~lp15/papers/Formath/Greens-theorem.pdf
46 16/Aug/16 23:20/~lp15/images/
46 0.13%18/Aug/16 21:12/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
46 0.01%18/Aug/16 21:37/~lp15/papers/Reports/
44 0.01%16/Aug/16 13:43/~lp15/papers/Formath/
44 19/Aug/16 10:21/~lp15/Grants/
44 0.16%18/Aug/16 11:30/~lp15/papers/Bella/purchase-JAR.pdf
44 0.01%17/Aug/16 13:11/~lp15/Grants/LEO-II/
44 0.11%17/Aug/16 16:22/~lp15/papers/Arith/Hscc09.pdf
43 19/Aug/16 11:00/~lp15/Pages/
43 19/Aug/16 02:12/~lp15/papers/books.html
43 17/Aug/16 14:14/~lp15/Grants/Automation/
42 0.01%17/Aug/16 19:56/~lp15/MLbook/exercises/exer3.html
42 16/Aug/16 23:20/~lp15/SpryAssets/
42 0.01%18/Aug/16 09:00/~lp15/papers/Isabelle/
42 19/Aug/16 16:18/~lp15/papers/Workshop/
42 0.05%19/Aug/16 11:38/~lp15/papers/Auth/yahalom.pdf
41 0.03%19/Aug/16 11:43/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
40 0.09%17/Aug/16 14:48/~lp15/Pages/harrison-real.pdf
40 19/Aug/16 06:22/~lp15/papers/hol.html
40 0.09%19/Aug/16 15:49/~lp15/papers/Isabelle/blast.pdf
40 18/Aug/16 21:10/~lp15/papers/workshop.html
40 16/Aug/16 23:20/~lp15/css/
39 0.02%19/Aug/16 05:14/~lp15/papers/Reviews/MLer.pdf
39 0.21%17/Aug/16 16:06/~lp15/papers/Automation/reconstruction.pdf
39 0.01%19/Aug/16 11:08/~lp15/MLbook/programs/sample3.sml
38 0.09%18/Aug/16 12:17/~lp15/papers/Bella/esorics98.pdf
38 0.09%19/Aug/16 05:50/~lp15/papers/Auth/multicast_verification.pdf
38 17/Aug/16 13:12/~lp15/MLbook/programs/ROOT.sml
38 0.02%18/Aug/16 05:25/~lp15/Sue/Sue Paulson.jpg
38 0.01%17/Aug/16 07:37/~lp15/Usage/images/
37 0.09%18/Aug/16 10:53/~lp15/papers/Automation/jar-smt.pdf
37 0.01%18/Aug/16 18:08/~lp15/papers/invited.html
37 0.02%18/Aug/16 17:44/~lp15/Grants/UNITY/case.pdf
37 0.08%17/Aug/16 16:06/~lp15/papers/Automation/paar.pdf
37 0.06%19/Aug/16 11:07/~lp15/papers/Arith/ITP-2012-invited.pdf
36 19/Aug/16 13:09/~lp15/MLbook/first/
36 0.05%19/Aug/16 08:29/~lp15/papers/Workshop/friedrich.pdf
36 0.06%19/Aug/16 03:17/~lp15/papers/Arith/Narayanan DATE.pdf
35 16/Aug/16 22:26/~lp15/Pages/projects.html
35 0.07%18/Aug/16 10:14/~lp15/papers/Automation/cade2011-sledge-smt.pdf
34 16/Aug/16 23:21/~lp15/tmp/
34 17/Aug/16 14:14/~lp15/Grants/BeyondLinArith/
34 0.08%17/Aug/16 18:16/~lp15/papers/Formath/automata.pdf
34 16/Aug/16 20:25/~lp15/papers/Arith/atan-problem-1-weak.html
34 17/Aug/16 07:32/~lp15/Data/
33 19/Aug/16 10:03/~lp15/papers/Reviews/
33 0.01%19/Aug/16 08:28/~lp15/MLbook/exercises/exer6.html
33 0.10%19/Aug/16 11:09/~lp15/papers/Bella/certified-email.pdf
33 0.23%18/Aug/16 20:44/~lp15/papers/Arith/Sogokon-nfm14.pdf
33 0.28%18/Aug/16 12:53/~lp15/papers/Automation/info-and-comp.pdf
32 17/Aug/16 00:38/~lp15/papers/UNITY/
32 0.03%19/Aug/16 09:49/~lp15/Sue/Cultures of Dance.ppt
32 0.05%19/Aug/16 08:20/~lp15/papers/Arith/pdpar2006.pdf
32 16/Aug/16 23:20/~lp15/papers/Ballarin/
32 16/Aug/16 23:20/~lp15/Templates/
31 19/Aug/16 08:19/~lp15/papers/Arith/qepcad-for-mac.html
31 0.01%19/Aug/16 05:05/~lp15/Grants/holisa.html
31 0.03%18/Aug/16 19:46/~lp15/papers/Reports/CADE9.pdf
30 0.01%18/Aug/16 14:38/~lp15/images/pilkington.jpg
29 17/Aug/16 23:54/~lp15/MLbook/disclaimer.html
29 0.12%19/Aug/16 14:09/~lp15/papers/Formath/reflection-slides.pdf
29 0.02%19/Aug/16 03:32/~lp15/papers/Reviews/construct.pdf
28 0.11%17/Aug/16 21:47/~lp15/papers/Automation/translations-jar.pdf
28 16/Aug/16 20:25/~lp15/papers/Deduction/
28 0.01%16/Aug/16 20:25/~lp15/MLbook/exercises/exer7.html
28 16/Aug/16 20:25/~lp15/MLbook/programs/sample4.sml
28 0.06%17/Aug/16 11:40/~lp15/papers/Bella/purchase.pdf
28 19/Aug/16 12:10/~lp15/Pages/Scream.html
27 17/Aug/16 11:39/~lp15/MLbook/programs/notes.html
27 0.10%18/Aug/16 11:28/~lp15/papers/Notes/MOD-slides.pdf
27 0.09%18/Aug/16 15:36/~lp15/papers/UNITY/Mechanizing-compositional.pdf
27 0.06%17/Aug/16 21:06/~lp15/Grants/AutoPolyFun/case.pdf
27 0.06%19/Aug/16 00:25/~lp15/papers/Bella/registration.pdf
26 0.06%18/Aug/16 23:57/~lp15/papers/Reports/blast.pdf
26 19/Aug/16 05:59/~lp15/MLbook/programs/sample9.sml
26 0.09%17/Aug/16 20:44/~lp15/papers/Auth/SET-overview-IJIS.pdf
26 0.06%18/Aug/16 15:54/~lp15/papers/UNITY/tphols01.pdf
26 16/Aug/16 20:25/~lp15/MLbook/programs/sample5.sml
26 0.11%18/Aug/16 20:55/~lp15/papers/Formath/constructible-slides.pdf
26 0.06%14/Aug/16 12:51/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
25 0.01%18/Aug/16 21:19/~lp15/MLbook/exercises/exer4.html
25 0.05%19/Aug/16 06:01/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
25 0.14%17/Aug/16 16:06/~lp15/papers/Automation/filtering-jal.pdf
25 0.06%19/Aug/16 16:18/~lp15/papers/Automation/translations.pdf
25 0.05%19/Aug/16 08:30/~lp15/papers/Bella/cav98.pdf
25 0.11%18/Aug/16 01:03/~lp15/papers/UNITY/composition.pdf
25 0.04%18/Aug/16 17:24/~lp15/papers/Bella/dimacs97.pdf
25 0.05%18/Aug/16 16:44/~lp15/papers/Workshop/papers/thompson.pdf
25 0.32%17/Aug/16 20:41/~lp15/papers/Reports/ref97.pdf
25 0.08%18/Aug/16 04:21/~lp15/papers/Formath/reflection.pdf
24 17/Aug/16 06:29/~lp15/MLbook/programs/sample8.sml
24 0.04%18/Aug/16 21:17/~lp15/Grants/Automation/final.pdf
24 0.05%19/Aug/16 06:16/~lp15/papers/Automation/IJCAR2004.pdf
24 0.04%17/Aug/16 21:47/~lp15/papers/Reports/CADE11.pdf
23 0.02%18/Aug/16 00:34/~lp15/Grants/LEO-II/leo2-case.pdf
23 0.01%17/Aug/16 18:59/~lp15/MLbook/programs/sample10.sml
23 0.01%18/Aug/16 21:17/~lp15/MLbook/exercises/exer5.html
23 0.06%18/Aug/16 12:36/~lp15/papers/Arith/lpar2007.pdf
23 0.06%17/Aug/16 00:44/~lp15/papers/Arith/Huang-3heuristics.pdf
23 0.04%17/Aug/16 19:47/~lp15/papers/Formath/constructible-abstract.pdf
23 0.09%18/Aug/16 20:03/~lp15/papers/Workshop/papers/kammueller.pdf
22 17/Aug/16 13:13/~lp15/MLbook/programs/sample7.sml
22 0.25%17/Aug/16 07:00/~lp15/papers/Arith/metit-slides.pdf
22 16/Aug/16 13:43/~lp15/papers/recur.html
22 0.06%18/Aug/16 14:04/~lp15/papers/Bella/esorics2000.pdf
22 16/Aug/16 20:25/~lp15/MLbook/exercises/disclaimer.html
22 18/Aug/16 06:59/~lp15/MLbook/programs/sample3-old.sml
22 17/Aug/16 08:57/~lp15/Data/relevance/
21 17/Aug/16 01:44/~lp15/Pages/CL-English.html
21 0.01%17/Aug/16 21:33/~lp15/MLbook/programs/test10.sml
21 18/Aug/16 08:25/~lp15/MLbook/first/programs/
21 0.09%19/Aug/16 11:47/~lp15/papers/Automation/sultana-pfreconstruction.pdf
21 0.17%17/Aug/16 13:57/~lp15/papers/Deduction/lecture1.pdf
21 0.11%19/Aug/16 06:17/~lp15/papers/Reports/fleuriot-kepler.pdf
21 0.11%18/Aug/16 19:00/~lp15/papers/Workshop/papers/rasmussen.pdf
20 0.01%16/Aug/16 20:55/~lp15/papers/paulson.bib
20 18/Aug/16 21:28/~lp15/MLbook/programs/sample9-2004.sml
19 0.02%17/Aug/16 13:00/~lp15/papers/Arith/FroCoS-2013-invited.pdf
19 0.01%17/Aug/16 11:40/~lp15/Grants/SET/case.pdf
19 0.01%18/Aug/16 17:54/~lp15/papers/Arith/NFM2014-invited.pdf
19 0.01%17/Aug/16 18:56/~lp15/papers/Workshop/kammueller.pdf
19 19/Aug/16 00:59/~lp15/Pages/ACS-proposals.html
19 0.03%18/Aug/16 06:51/~lp15/papers/Arith/fmcad2009.pdf
19 0.03%11/Aug/16 00:44/~lp15/papers/Auth/ijcar2001.pdf
18 0.23%17/Aug/16 14:26/~lp15/Grants/Automation/poster.pdf
18 0.01%17/Aug/16 18:59/~lp15/MLbook/programs/sample10-old.sml
18 0.07%16/Aug/16 05:22/~lp15/papers/Workshop/papers/bednarczyk.pdf
18 0.06%17/Aug/16 22:45/~lp15/papers/Arith/SNC2014-invited.pdf
18 17/Aug/16 02:09/~lp15/papers/Workshop/participants.html
18 0.07%12/Aug/16 13:52/~lp15/papers/Formath/set-II.pdf
17 18/Aug/16 13:55/~lp15/Grants/arith.html
17 0.10%17/Aug/16 14:26/~lp15/papers/Reports/intro-to-isabelle.pdf
17 0.03%17/Aug/16 16:07/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
17 18/Aug/16 12:53/~lp15/papers/Arith/RELEASE-NOTES.txt
16 17/Aug/16 02:09/~lp15/papers/Workshop/nipkow.html
16 0.03%18/Aug/16 08:29/~lp15/papers/Formath/final.pdf
16 0.22%18/Aug/16 02:17/~lp15/papers/Reports/TypeClasses.pdf
16 16/Aug/16 20:25/~lp15/MLbook/programs/sample8-old.sml
16 0.02%10/Aug/16 20:48/~lp15/papers/Auth/auth-slides.pdf
16 19/Aug/16 00:00/~lp15/MLbook/first/programs/Lists-Trees.ML
16 0.10%17/Aug/16 14:26/~lp15/papers/Reports/logics97.pdf
16 17/Aug/16 02:09/~lp15/papers/Workshop/agerholm.html
16 0.18%18/Aug/16 08:53/~lp15/papers/Arith/NFM2014-slides.pdf
16 16/Aug/16 12:24/~lp15/Sue/Cultures of Dance.html
15 0.03%15/Aug/16 01:48/~lp15/papers/UNITY/ehmety-composition.pdf
15 0.16%18/Aug/16 06:58/~lp15/papers/Reports/popl82.pdf
15 16/Aug/16 20:25/~lp15/Grants/auth.html
15 0.02%18/Aug/16 17:53/~lp15/papers/Reports/Descent of BAN.pdf
15 17/Aug/16 14:09/~lp15/MLbook/first/programs/Lambda.ML
15 0.02%15/Aug/16 22:48/~lp15/papers/Notes/leeds-notes.pdf
15 17/Aug/16 07:56/~lp15/MLbook/first/programs/Functions.ML
15 16/Aug/16 12:24/~lp15/Grants/Chaieb.html
14 0.01%17/Aug/16 14:26/~lp15/papers/Notes/strategy-slides.pdf
14 0.02%19/Aug/16 01:05/~lp15/papers/Workshop/papers/ayari.pdf
14 0.36%17/Aug/16 14:25/~lp15/Grants/BeyondLinArith/arith-poster.pdf
14 0.03%16/Aug/16 03:32/~lp15/papers/Automation/leo2-ijcar.pdf
14 0.01%17/Aug/16 14:26/~lp15/Grants/Automation/case.pdf
14 0.07%18/Aug/16 20:57/~lp15/papers/UNITY/UNITY.pdf
14 4.70%19/Aug/16 09:47/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
14 4.80%19/Aug/16 09:47/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
14 16/Aug/16 20:25/~lp15/Grants/temporal.html
14 0.05%10/Aug/16 01:37/~lp15/papers/Isabelle/sylow.pdf
14 0.02%10/Aug/16 01:38/~lp15/papers/Auth/recur-slides.pdf
14 0.03%17/Aug/16 22:25/~lp15/papers/Automation/thf-sledge.pdf
14 19/Aug/16 10:02/~lp15/MLbook/first/programs/Imperative.ML
13 0.03%15/Aug/16 20:10/~lp15/papers/Arith/case-splitting.pdf
13 0.41%12/Aug/16 04:10/~lp15/Sue/Phd-Poster.pdf
13 0.17%10/Aug/16 01:37/~lp15/papers/Notes/formalizing-abst-slides.pdf
13 0.04%15/Aug/16 02:57/~lp15/papers/Formath/milner-ind-defs.pdf
13 0.02%17/Aug/16 15:03/~lp15/papers/Auth/security-protocols.pdf
13 17/Aug/16 02:09/~lp15/MLbook/first/ERRATA1.txt
13 17/Aug/16 07:56/~lp15/papers/Workshop/futures.html
13 0.06%13/Aug/16 14:45/~lp15/papers/Arith/cicm2012.pdf
12 0.03%17/Aug/16 07:13/~lp15/papers/Arith/case-splitting-stats.csv
12 17/Aug/16 02:09/~lp15/papers/Workshop/staples.html
12 0.09%19/Aug/16 01:05/~lp15/papers/Reports/Bridge-ml.pdf
12 18/Aug/16 11:42/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
12 17/Aug/16 07:56/~lp15/papers/Workshop/heule.html
12 17/Aug/16 02:09/~lp15/papers/Workshop/matthews.html
12 17/Aug/16 16:33/~lp15/papers/Formath/AC-slides.pdf
12 0.15%10/Aug/16 01:37/~lp15/papers/Reports/TypeClasses-slides.pdf
12 0.12%17/Aug/16 14:26/~lp15/Grants/BeyondLinArith/arith-case.pdf
12 0.79%18/Aug/16 11:41/~lp15/Data/ho-translations/Abst.tbz
12 17/Aug/16 02:09/~lp15/papers/Workshop/thompson.html
12 0.02%14/Aug/16 04:17/~lp15/papers/Workshop/papers/kalvala-linear.pdf
12 0.04%18/Aug/16 23:56/~lp15/papers/Formath/Goedel-logic-mine.pdf
12 17/Aug/16 07:56/~lp15/MLbook/first/programs/Modules.ML
12 19/Aug/16 09:47/~lp15/Data/ho-translations/Theories.tbz
12 13/Aug/16 10:16/~lp15/MLbook/ERRATA.txt
12 0.32%15/Aug/16 08:21/~lp15/Sue/Thesis-Appendices.pdf
12 0.12%16/Aug/16 20:44/~lp15/papers/Bella/TPHOLs03-slides.pdf
11 17/Aug/16 02:09/~lp15/papers/Workshop/kalvala.html
11 10/Aug/16 01:37/~lp15/papers/Formath/ind-defs-slides.pdf
11 0.76%18/Aug/16 11:42/~lp15/Data/ho-translations/Comb.tbz
11 0.05%17/Aug/16 22:49/~lp15/papers/Auth/SET-document.pdf
11 0.02%12/Aug/16 02:27/~lp15/papers/Isabelle/Goedel-logic.pdf
11 14/Aug/16 20:51/~lp15/papers/Isabelle/blast-slides.pdf
11 0.37%17/Aug/16 08:59/~lp15/Grants/LEO-II/leo project poster.pdf
11 17/Aug/16 02:09/~lp15/papers/Workshop/paulson.html
11 0.68%13/Aug/16 14:19/~lp15/papers/Arith/ITP 2012 presentation.pdf
11 0.16%17/Aug/16 16:06/~lp15/papers/Automation/reconstruction-slides.pdf
11 0.03%10/Aug/16 01:39/~lp15/papers/Isabelle/coding.pdf
11 0.57%10/Aug/16 01:38/~lp15/papers/Formath/Goedel-slides.pdf
11 16/Aug/16 17:18/~lp15/papers/OLD.SETS/
11 18/Aug/16 19:08/~lp15/MLbook/StandardML.plist
11 17/Aug/16 02:09/~lp15/MLbook/first/ERRATA2.txt
11 17/Aug/16 07:56/~lp15/papers/Workshop/wolff.html
10 0.01%13/Aug/16 18:47/~lp15/Sue/Cultures of Dance.pdf
10 0.02%17/Aug/16 12:24/~lp15/Grants/Chaieb-case.pdf
10 19/Aug/16 04:05/~lp15/MLbook/first/ML-syntax.ps.gz
10 0.11%13/Aug/16 23:10/~lp15/papers/Formath/constructible-theory.pdf
10 0.09%16/Aug/16 11:08/~lp15/papers/Formath/Future of formalised maths.pdf
10 0.01%16/Aug/16 12:24/~lp15/archive/Isabelle86.tar.gz
10 0.06%16/Aug/16 18:16/~lp15/papers/Auth/tls-slides.pdf
10 17/Aug/16 02:09/~lp15/papers/Workshop/owens.txt
10 0.06%19/Aug/16 15:45/~lp15/papers/Deduction/lecture2.pdf
10 0.74%15/Aug/16 10:28/~lp15/papers/Arith/FroCos-presentation.pdf
10 18/Aug/16 09:22/~lp15/MLbook/first/programs/Hal.ML
9 19/Aug/16 07:34/~lp15/MLbook/first/programs/ParsePrint.ML
9 17/Aug/16 21:48/~lp15/Grants/UNITY/final.pdf
9 0.02%17/Aug/16 13:55/~lp15/papers/Workshop/papers/benini.pdf
9 0.84%16/Aug/16 12:24/~lp15/archive/Isabelle2005.tar.gz
9 17/Aug/16 07:56/~lp15/MLbook/first/programs/edits.txt
9 18/Aug/16 12:16/~lp15/MLbook/first/answers1-5.txt.gz
9 12/Aug/16 16:12/~lp15/Grants/SET/final.pdf
9 12/Aug/16 19:17/~lp15/images/larry-paulson.jpg
9 0.02%10/Aug/16 01:39/~lp15/papers/Isabelle/aisc98.pdf
9 0.11%10/Aug/16 01:40/~lp15/papers/Isabelle/Cube-presentation.pdf
9 0.07% 7/Aug/16 20:13/~lp15/papers/Isabelle/Goedel-ar.pdf
9 16/Aug/16 12:24/~lp15/archive/ERRATA.txt
9 0.03%17/Aug/16 16:59/~lp15/papers/Workshop/papers/vigano.pdf
9 0.07%10/Aug/16 01:37/~lp15/papers/Auth/SET-overview-slides.pdf
9 0.26%10/Aug/16 18:42/~lp15/papers/Arith/SNC2014-slides.pdf
9 0.11%10/Aug/16 01:38/~lp15/papers/Auth/dagstuhl2003-slides.pdf
9 17/Aug/16 02:09/~lp15/papers/Workshop/programme.html
8 0.01%15/Aug/16 19:14/~lp15/papers/Workshop/front.pdf
8 17/Aug/16 02:09/~lp15/MLbook/first/ERRATA3.txt
8 0.15%11/Aug/16 23:21/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 4.11%16/Aug/16 12:24/~lp15/archive/Isabelle2014.tar.gz
8 0.01%13/Aug/16 04:58/~lp15/papers/Arith/Overcoming.pdf
8 0.06%10/Aug/16 01:37/~lp15/papers/Automation/Huet colloquium.pdf
8 0.01%18/Aug/16 14:50/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
8 0.39%10/Aug/16 01:37/~lp15/papers/Arith/Overcoming-slides.pdf
8 0.02%18/Aug/16 15:25/~lp15/papers/Workshop/papers/owens.pdf
8 0.06%16/Aug/16 19:34/~lp15/papers/Deduction/lecture3.pdf
8 0.02%10/Aug/16 01:39/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
8 17/Aug/16 18:21/~lp15/MLbook/first/ML-syntax.dvi.gz
8 0.07%16/Aug/16 14:32/~lp15/papers/Deduction/lecture4.pdf
8 17/Aug/16 02:09/~lp15/Data/relevance/unfiltered-spass.txt
8 0.09%13/Aug/16 11:44/~lp15/papers/Automation/h4qed-clean.pdf
8 0.15%10/Aug/16 01:37/~lp15/papers/Auth/ijcar2001-slides.pdf
7 0.01%17/Aug/16 04:41/~lp15/papers/Workshop/papers/staples.pdf
7 0.02%16/Aug/16 12:24/~lp15/archive/lcf.tar.gz
7 17/Aug/16 02:09/~lp15/papers/Workshop/bednarczyk.txt
7 18/Aug/16 00:56/~lp15/MLbook/first/answers8.txt.gz
7 3.85%16/Aug/16 12:24/~lp15/archive/Isabelle2015.tar.gz
7 0.02%10/Aug/16 09:23/~lp15/papers/Workshop/papers/voelker.pdf
7 0.57% 2/Aug/16 16:55/~lp15/papers/Arith/metit.tgz
6 10/Aug/16 01:18/~lp15/Grants/BeyondLinArith/auth-final.pdf
6 0.29%16/Aug/16 12:24/~lp15/archive/Isabelle99.tar.gz
6 0.10%16/Aug/16 12:24/~lp15/archive/Isabelle94-7.tar.gz
6  9/Aug/16 17:26/~lp15/images/knuth-small.jpg
6 0.02%17/Aug/16 16:28/~lp15/archive/isabelle-users.98.gz
6 0.02%16/Aug/16 12:24/~lp15/archive/Isabelle91.tar.gz
6 0.01% 6/Aug/16 20:00/~lp15/papers/Workshop/papers/matthews.pdf
6 0.37%16/Aug/16 12:24/~lp15/archive/Isabelle99-2.tar.gz
6 0.42%16/Aug/16 12:24/~lp15/archive/Isabelle2002.tar.gz
6 1.28%17/Aug/16 02:09/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
6 2.42%16/Aug/16 12:24/~lp15/archive/Isabelle2011.tar.gz
6 0.01%16/Aug/16 12:24/~lp15/archive/compgen.tar.gz
6 0.68%16/Aug/16 12:24/~lp15/archive/Isabelle2007.tar.gz
6 0.03%17/Aug/16 02:09/~lp15/Data/relevance/tptp-2007-03-13.tbz
6 0.02%17/Aug/16 00:54/~lp15/papers/Arith/Narayanan TR.pdf
6 1.90%16/Aug/16 12:24/~lp15/archive/Isabelle2009-1.tar.gz
6 16/Aug/16 17:18/~lp15/Data/relevance/unfiltered-vampire.txt
6 0.01%16/Aug/16 12:24/~lp15/archive/Isabelle89.tar.gz
6 3.81%16/Aug/16 12:24/~lp15/archive/Isabelle2011-1.tar.gz
6 0.02% 5/Aug/16 12:36/~lp15/papers/Workshop/papers/agerholm.pdf
6 16/Aug/16 12:24/~lp15/archive/cant-ozols.ps.gz
5 0.08%16/Aug/16 12:24/~lp15/archive/Isabelle94-6.tar.gz
5 4.11%16/Aug/16 12:24/~lp15/archive/Isabelle2013.tar.gz
5 0.05%16/Aug/16 12:24/~lp15/archive/Isabelle94.tar.gz
5 0.20%16/Aug/16 12:24/~lp15/archive/Isabelle98-1.tar.gz
5 0.01%16/Aug/16 12:24/~lp15/archive/isabelle-users.95.gz
5 1.90%16/Aug/16 12:28/~lp15/archive/Isabelle2009-2.tar.gz
5 0.68%16/Aug/16 12:24/~lp15/archive/Isabelle2009.tar.gz
5 16/Aug/16 12:24/~lp15/archive/isabelle-users.90-92.gz
5 0.01%16/Aug/16 12:24/~lp15/archive/isabelle-users.96.gz
5 0.01%16/Aug/16 12:24/~lp15/archive/Isabelle90.tar.gz
5 0.02%18/Aug/16 08:59/~lp15/papers/Workshop/papers/paulson.pdf
5 0.01%16/Aug/16 12:24/~lp15/archive/isabelle-users.97.gz
5 0.29%16/Aug/16 12:24/~lp15/archive/Isabelle99-1.tar.gz
5 0.02%13/Aug/16 15:50/~lp15/papers/Workshop/papers/nipkow.pdf
5 0.01%16/Aug/16 12:24/~lp15/archive/isabelle-users.99.gz
5 0.13%16/Aug/16 12:24/~lp15/archive/Isabelle94-8.tar.gz
5 0.03%16/Aug/16 12:24/~lp15/archive/isabelle-users.00.gz
5 3.92%16/Aug/16 12:24/~lp15/archive/Isabelle2013-1.tar.gz
5 0.02%16/Aug/16 12:24/~lp15/archive/isabelle-users.01.gz
5 0.01%16/Aug/16 00:23/~lp15/papers/Workshop/vigano.pdf
5 0.02%16/Aug/16 12:24/~lp15/archive/Isabelle92.tar.gz
5 0.02%16/Aug/16 12:24/~lp15/archive/isabelle-users.02.gz
5 0.02% 5/Aug/16 12:36/~lp15/papers/OLD.SETS/reflection-slides.pdf
5 3.96%16/Aug/16 12:24/~lp15/archive/Isabelle2013-2.tar.gz
5 0.03%16/Aug/16 12:24/~lp15/archive/isabelle-users.03.gz
5 16/Aug/16 12:24/~lp15/archive/HOL-extensions.dvi.gz
5 0.40%16/Aug/16 12:24/~lp15/archive/Isabelle2003.tar.gz
5 3.73%16/Aug/16 12:24/~lp15/archive/Isabelle2012.tar.gz
5 0.06%16/Aug/16 12:24/~lp15/archive/Isabelle93.tar.gz
5 0.04% 5/Aug/16 12:36/~lp15/Grants/arith-case.pdf
5 0.03%16/Aug/16 12:24/~lp15/archive/isabelle-users.04.gz
5 16/Aug/16 12:24/~lp15/archive/isabelle-users.93.gz
5 0.57%16/Aug/16 12:24/~lp15/archive/Isabelle2008.tar.gz
5 17/Aug/16 02:09/~lp15/Data/relevance/unfiltered-E.txt
5 0.15%16/Aug/16 12:24/~lp15/archive/Isabelle98.tar.gz
5 0.02%16/Aug/16 12:24/~lp15/archive/isabelle-users.05.gz
5 0.01%10/Aug/16 06:42/~lp15/papers/Ballarin/coding.pdf
5 0.01%16/Aug/16 12:24/~lp15/archive/isabelle-users.94.gz
5 0.43%16/Aug/16 12:24/~lp15/archive/Isabelle2004.tar.gz
75 0.83%17/Aug/16 00:32[not listed: 29 files]