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

Program started at Mon-22-May-2017 15:44.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-22-May-2017 15:17 (929.01 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-2017 15:44.

Successful requests: 23,829 (3,326)
Average successful requests per day: 25 (475)
Successful requests for pages: 9,192 (1,491)
Average successful requests for pages per day: 9 (212)
Failed requests: 812 (103)
Redirected requests: 140 (26)
Distinct files requested: 538 (443)
Distinct hosts served: 4,709 (767)
Corrupt logfile lines: 3
Unwanted logfile entries: 17,729
Data transferred: 6.38 gigabytes (980.55 megabytes)
Average data transferred per day: 7.03 megabytes (140.08 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 
Sun2797971+++++++++++++++++++++++++
Mon42351566++++++++++++++++++++++++++++++++++++++++
Tue30971050+++++++++++++++++++++++++++
Wed37521474+++++++++++++++++++++++++++++++++++++
Thu37341522+++++++++++++++++++++++++++++++++++++++
Fri29661206+++++++++++++++++++++++++++++++
Sat32481403++++++++++++++++++++++++++++++++++++

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
1031452.63%.com (Commercial)
575517.02%[unresolved numerical addresses]
192115.02%.net (Networks)
923 2.94%.de (Germany)
881 2.55%[domain not given]
311 0.95%.edu (USA Higher Education)
435 0.90%[unknown domain]
400 0.83%.uk (United Kingdom)
224 0.82%.in (India)
179 0.70%.fr (France)
57 0.47%.ph (Philippines)
127 0.41%.au (Australia)
78 0.39%.br (Brazil)
250 0.28%.ru (Russia)
50 0.23%.se (Sweden)
21 0.21%.hu (Hungary)
27 0.20%.th (Thailand)
24 0.19%.co (Colombia)
67 0.19%.pt (Portugal)
66 0.18%.pk (Pakistan)
39 0.15%.nz (New Zealand)
37 0.15%.zw (Zimbabwe)
24 0.14%.za (South Africa)
53 0.14%.ca (Canada)
70 0.13%.jp (Japan)
88 0.12%.it (Italy)
60 0.11%.org (Non Profit Making Organisations)
7 0.11%.np (Nepal)
24 0.10%.ke (Kenya)
35 0.10%.pl (Poland)
22 0.10%.my (Malaysia)
40 0.10%.sg (Singapore)
21 0.09%.id (Indonesia)
11 0.08%.ar (Argentina)
572 0.08%.es (Spain)
31 0.07%.at (Austria)
45 0.07%.nl (Netherlands)
21 0.07%.vn (Vietnam)
5 0.07%.ng (Nigeria)
44 0.06%.ch (Switzerland)
26 0.06%.cn (China)
12 0.05%.arpa (Arpanet)
6 0.04%.hr (Croatia)
19 0.04%.bg (Bulgaria)
5 0.04%.ie (Ireland)
50 0.04%.gr (Greece)
31 0.04%.cz (Czech Republic)
12 0.04%.mx (Mexico)
20 0.03%.fi (Finland)
14 0.03%.tr (Turkey)
20 0.03%.dk (Denmark)
11 0.03%.tw (Taiwan)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
37 0.03%.hk (Hong Kong)
12 0.02%.na (Namibia)
8 0.02%.be (Belgium)
22 0.02%.ro (Romania)
15 0.02%.il (Israel)
10 0.02%.no (Norway)
4 0.02%.uy (Uruguay)
7 0.02%.us (United States)
2 0.01%.is (Iceland)
2 0.01%.ly (Libya)
1 0.01%.gt (Guatemala)
29 0.01%.ua (Ukraine)
1 0.01%.si (Slovenia)
6 0.01%.lv (Latvia)
1 0.01%.mil (USA Military)
2 0.01%.int (International Treaty Organisations)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
4 0.01%.cl (Chile)
1 0.01%.am (Armenia)
7 0.01%.ir (Iran)
2 .ug (Uganda)
2 .pm (Saint Pierre and Miquelon)
4 .gh (Ghana)
1 .as (American Samoa)
4 .lt (Lithuania)
5 .ae (United Arab Emirates)
3 .sk (Slovakia)
2 .kz (Kazakhstan)
2 .lu (Luxembourg)
4 .lb (Lebanon)
6 .tt (Trinidad and Tobago)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
3 .bn (Brunei Darussalam)
1 .om (Oman)

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
305314.83%amazonaws.com
1616 6.69%msn.com
1454 5.13%baidu.com
1291 4.86%yandex.com
964 2.86%66.160
881 2.55%[domain not given]
79413.14%bluechipbacklinks.com
576 2.22%your-server.de
541 0.04%ugr.es
442 9.68%qwest.net
436 0.90%[unknown domain]
341 0.16%sogou.com
312 0.38%114
302 0.63%virginm.net
247 0.39%btcentralplus.com
239 0.04%4
213 0.18%cam.ac.uk
197 4.40%telia.com
181 0.80%41
173 0.17%mail.ru
957629.95%[not listed: 1,337 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
66software
63pdf
61engineering
36notes
28equivalence
28residue
27theorem
22proof
22for
20prove
19of
17and
16in
15cauchy
14classes
14set
12r
12diploma
12class
11is
10computer
9state
9download
8the
7hindi
7students
6if
6pearl
6theory
6property
287[not listed: 139 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
172133551OS unknown
283812651Windows
 37101307  Windows NT
 42031171  Unknown Windows
 439147  Windows XP
 1010  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 43  Windows 98
325561087Known robots
42728975Macintosh
52911909Unix
 2872896  Linux
 197  Other Unix
 32  SunOS
 22  OSF1
 152  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
19772200 OK
2952206 Partial content
140301 Document moved permanently
1105304 Not modified since last retrieval
45403 Access forbidden
767404 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- 1kB1090 0.01%
1kB- 10kB6808 0.44%
10kB-100kB7314 4.44%
100kB- 1MB714938.50%
1MB- 10MB70127.89%
10MB-100MB6828.72%

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
1158061.79%.pdf [Adobe Portable Document Format]
37628.36%.gz [Gzip compressed files]
22628.14%  .tar.gz [Compressed archives]
77 6.61%.tbz
1338 1.23%.jpg [JPEG graphics]
6258 0.61%[directories]
7 0.55%.tgz
2934 0.38%.html [Hypertext Markup Language]
4 0.21%.zip [Zip archives]
814 0.12%.sml
441 0.14%[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
151510.30%22/May/17 12:37/~lp15/papers/Notes/SE-I.pdf
1334 0.15%22/May/17 14:45/~lp15/
753 0.03%22/May/17 14:33/~lp15/MLbook/
615 0.65%22/May/17 13:12/~lp15/images/larry-home-small.jpg
593 4.04%21/May/17 21:56/~lp15/papers/Reports/equivclasses-slides.pdf
555 0.43%22/May/17 15:13/~lp15/images/acm-logo.jpg
407 0.84%22/May/17 07:58/~lp15/papers/Notes/Founds-FP.pdf
378 6.77%22/May/17 09:43/~lp15/Sue/Thesis.pdf
370 1.43%22/May/17 14:39/~lp15/papers/Formath/Residue-theorem.pdf
329 0.04%22/May/17 11:30/~lp15/papers/Arith/
322 0.04%22/May/17 14:41/~lp15/Pages/Scream.html
321 0.01%22/May/17 14:39/~lp15/MLbook/programs/
262 0.03%22/May/17 15:17/~lp15/Sue/
261 0.13%22/May/17 14:41/~lp15/papers/refereed.html
245 1.28%21/May/17 18:23/~lp15/papers/Formath/Goedel-ar.pdf
242 0.78%22/May/17 13:06/~lp15/papers/Reports/equivclasses.pdf
239 3.13%21/May/17 17:22/~lp15/papers/Reports/thesis.pdf
209 0.01%22/May/17 14:24/~lp15/MLbook/programs/sample2.sml
190 22/May/17 12:27/~lp15/MLbook/exercises/
174 0.02%21/May/17 18:37/~lp15/images/
19 20/May/17 10:58  /~lp15/images/?C=N;O=D
13 20/May/17 03:30  /~lp15/images/?C=M;O=A
11 20/May/17 03:28  /~lp15/images/?C=D;O=A
163 0.68%22/May/17 09:59/~lp15/papers/Auth/jcs.pdf
156 0.02%21/May/17 23:27/~lp15/Grants/AutoPolyFun/
155 0.03%22/May/17 10:24/~lp15/papers/Auth/
151 0.02%22/May/17 08:46/~lp15/papers/Automation/
142 0.12%22/May/17 03:55/~lp15/papers/Reports/mutil.pdf
139 0.02%22/May/17 07:19/~lp15/papers/Formath/
134 0.01%22/May/17 14:44/~lp15/papers/lecture-courses.html
132 0.01%21/May/17 23:27/~lp15/Pages/cv.html
130 0.02%22/May/17 07:51/~lp15/Grants/SET/
127 22/May/17 14:34/~lp15/MLbook/pub-details.html
125 0.16%22/May/17 14:56/~lp15/papers/Auth/lics.pdf
124 0.42%21/May/17 17:21/~lp15/papers/Isabelle/fleuriot-kepler.pdf
122 0.18%21/May/17 21:46/~lp15/Pages/vita.pdf
121 0.01%22/May/17 06:53/~lp15/Grants/
117 0.01%22/May/17 14:32/~lp15/Grants/LEO-II/
113 0.16%22/May/17 13:53/~lp15/papers/Formath/Goedel-logic.pdf
110 0.01%22/May/17 14:33/~lp15/MLbook/ERRATA.html
110 0.70%21/May/17 17:23/~lp15/Pages/Munich-slides.pdf
108 0.01%21/May/17 23:27/~lp15/papers/Reports/
107 0.37%21/May/17 17:21/~lp15/papers/Formath/set-I.pdf
106 0.24%21/May/17 18:22/~lp15/papers/Formath/automata.pdf
104 0.01%22/May/17 11:30/~lp15/papers/
13 20/May/17 03:29  /~lp15/papers/?C=N;O=D
102 21/May/17 13:42/~lp15/css/
18 20/May/17 03:22  /~lp15/css/?C=S;O=A
13 21/May/17 01:36  /~lp15/css/?C=M;O=A
10 19/May/17 20:56  /~lp15/css/?C=D;O=A
101 0.08%21/May/17 23:27/~lp15/Usage/
100 0.22%21/May/17 17:24/~lp15/papers/Auth/tls.pdf
97 0.01%21/May/17 23:14/~lp15/archive/
94 0.11%22/May/17 05:11/~lp15/papers/Auth/SET-overview-2002.pdf
93 0.01%22/May/17 11:32/~lp15/papers/Isabelle/
93 0.01%22/May/17 10:29/~lp15/Grants/Automation/
92 0.01%21/May/17 17:23/~lp15/MLbook/exercises/exer2.html
91 0.37%22/May/17 08:56/~lp15/papers/Bella/smartcards-jcs.pdf
87 20/May/17 03:28/~lp15/Pages/
11 20/May/17 03:18  /~lp15/Pages/?C=N;O=D
11 20/May/17 03:28  /~lp15/Pages/?C=S;O=A
10 20/May/17 03:24  /~lp15/Pages/?C=M;O=A
86 0.01%21/May/17 23:27/~lp15/papers/invited.html
86 0.01%22/May/17 10:29/~lp15/papers/books.html
86 0.01%22/May/17 07:46/~lp15/papers/hol.html
85 0.21%21/May/17 17:22/~lp15/papers/Reports/TPHOLs05.pdf
81 0.01%22/May/17 03:50/~lp15/papers/workshop.html
81 0.38%21/May/17 17:22/~lp15/papers/Arith/Sogokon-nfm14.pdf
79 22/May/17 05:48/~lp15/papers/Notes/
78 21/May/17 17:23/~lp15/MLbook/general.html
77 21/May/17 23:27/~lp15/Pages/CL-English.html
77 0.01%22/May/17 14:34/~lp15/MLbook/review.html
76 0.17%21/May/17 17:21/~lp15/papers/Formath/AC.pdf
76 0.16%22/May/17 13:46/~lp15/papers/Bella/esorics98.pdf
76 21/May/17 16:47/~lp15/SpryAssets/
75 0.26%22/May/17 04:47/~lp15/papers/Automation/translations-jar.pdf
75 21/May/17 23:27/~lp15/Grants/BeyondLinArith/
75 0.19%22/May/17 10:14/~lp15/papers/Formath/Greens-theorem.pdf
75 0.22%21/May/17 17:22/~lp15/papers/Automation/sultana-pfreconstruction.pdf
75 0.27%22/May/17 11:59/~lp15/papers/Bella/accountability.pdf
73 21/May/17 17:24/~lp15/papers/Arith/download.html
73 0.03%21/May/17 20:56/~lp15/images/pilkington.jpg
73 22/May/17 11:45/~lp15/Data/
11 22/May/17 11:45  /~lp15/Data/?C=N;O=D
72 0.22%22/May/17 13:36/~lp15/papers/Automation/filtering.pdf
71 21/May/17 08:50/~lp15/tmp/
71 0.01%21/May/17 23:27/~lp15/papers/recur.html
70 22/May/17 14:33/~lp15/MLbook/first/
69 22/May/17 03:09/~lp15/Templates/
69 0.01%21/May/17 17:26/~lp15/papers/Workshop/
68 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample8-2004.sml
68 0.13%21/May/17 21:35/~lp15/papers/Arith/Huang-3heuristics.pdf
68 22/May/17 05:30/~lp15/MLbook/StandardML.plist
67 0.16%21/May/17 17:22/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
67 0.01%21/May/17 17:23/~lp15/MLbook/exercises/exer8.html
67 0.14%21/May/17 19:42/~lp15/papers/Bella/registration.pdf
66 0.10%21/May/17 17:22/~lp15/papers/Arith/Narayanan DATE.pdf
66 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample5.sml
65 0.03%21/May/17 17:24/~lp15/Sue/Sue Paulson.jpg
64 0.21%21/May/17 17:22/~lp15/papers/Reports/Bridge-ml.pdf
64 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample3.sml
63 21/May/17 16:18/~lp15/papers/Bella/
63 0.22%22/May/17 14:33/~lp15/papers/Formath/reflection-slides.pdf
62 21/May/17 17:23/~lp15/MLbook/programs/ROOT.sml
62 0.31%21/May/17 17:22/~lp15/papers/Arith/calculemus2008.pdf
61 22/May/17 13:32/~lp15/papers/UNITY/
61 0.12%21/May/17 17:23/~lp15/papers/Automation/paar.pdf
60 0.09%21/May/17 17:22/~lp15/papers/Auth/multicast_verification.pdf
60 0.08%22/May/17 13:59/~lp15/papers/Isabelle/chap700.pdf
60 0.11%21/May/17 17:21/~lp15/papers/Isabelle/aisc98.pdf
60 0.02%20/May/17 03:19/~lp15/Usage/images/
59 22/May/17 07:20/~lp15/Data/ho-translations/
58 20/May/17 03:26/~lp15/papers/Reviews/
58 0.12%21/May/17 14:00/~lp15/Pages/harrison-real.pdf
57 0.08%22/May/17 14:18/~lp15/papers/Reports/CADE11.pdf
56 0.04%21/May/17 23:11/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
56 0.09%22/May/17 14:38/~lp15/papers/Arith/fmcad2009.pdf
55 0.03%22/May/17 14:10/~lp15/papers/Reviews/MLer.pdf
55 0.01%21/May/17 23:57/~lp15/Grants/UNITY/
54 0.02%21/May/17 17:23/~lp15/MLbook/exercises/exer3.html
54 0.11%21/May/17 17:21/~lp15/papers/Bella/nonrepudiation.pdf
54 1.10%21/May/17 17:23/~lp15/papers/Auth/lics-slides.pdf
54 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample4.sml
54 0.12%21/May/17 17:22/~lp15/papers/Arith/Hscc09.pdf
53 0.01%21/May/17 17:22/~lp15/Grants/holisa.html
53 0.13%22/May/17 09:23/~lp15/papers/Bella/certified-email.pdf
51 0.11%21/May/17 20:43/~lp15/papers/Automation/translations.pdf
51 0.12%21/May/17 17:21/~lp15/papers/Isabelle/coding.pdf
51 0.12%21/May/17 20:51/~lp15/papers/Automation/meng-termination.pdf
50 0.37%22/May/17 05:46/~lp15/papers/Bella/purchase-JAR.pdf
50 0.08%22/May/17 05:30/~lp15/papers/Workshop/papers/kalvala-linear.pdf
50 22/May/17 05:30/~lp15/papers/Arith/qepcad-for-mac.html
50 0.01%22/May/17 10:20/~lp15/Pages/ACS-proposals.html
50 0.36%21/May/17 17:22/~lp15/papers/Automation/info-and-comp.pdf
49 0.21%22/May/17 05:29/~lp15/papers/UNITY/composition.pdf
49 0.10%21/May/17 17:22/~lp15/papers/Automation/IJCAR2004.pdf
49 0.10%22/May/17 05:44/~lp15/papers/Automation/jar-smt.pdf
48 0.11%21/May/17 17:22/~lp15/papers/Arith/lpar2007.pdf
48 0.08%22/May/17 11:52/~lp15/papers/Bella/purchase.pdf
47 0.15%21/May/17 17:22/~lp15/papers/Auth/SET-overview-IJIS.pdf
47 0.08%22/May/17 07:23/~lp15/papers/Bella/cav98.pdf
47 0.06%21/May/17 17:22/~lp15/papers/Arith/pdpar2006.pdf
47 0.09%21/May/17 17:21/~lp15/papers/Isabelle/blast.pdf
46 0.01%21/May/17 20:24/~lp15/MLbook/exercises/exer4.html
46 0.06%21/May/17 17:22/~lp15/papers/UNITY/tphols01.pdf
46 1.22%21/May/17 17:23/~lp15/papers/Notes/LCF+.pdf
46 22/May/17 15:16/~lp15/Data/relevance/
45 21/May/17 17:23/~lp15/MLbook/disclaimer.html
45 0.26%21/May/17 20:35/~lp15/papers/Arith/MetiTarski-jar.pdf
45 20/May/17 03:32/~lp15/papers/Ballarin/
45 0.19%22/May/17 05:29/~lp15/papers/UNITY/UNITY.pdf
45 21/May/17 10:55/~lp15/Pages/projects.html
45 0.12%22/May/17 06:11/~lp15/papers/UNITY/Mechanizing-compositional.pdf
45 0.08%22/May/17 13:46/~lp15/Grants/AutoPolyFun/case.pdf
45 0.12%21/May/17 17:21/~lp15/papers/Formath/reflection.pdf
45 0.06%21/May/17 17:22/~lp15/papers/Automation/thf-sledge.pdf
44 22/May/17 07:07/~lp15/papers/Deduction/
44 0.03%22/May/17 03:46/~lp15/papers/Reviews/construct.pdf
44 0.05%22/May/17 02:13/~lp15/papers/Auth/yahalom.pdf
44 0.04%22/May/17 14:07/~lp15/papers/Reports/CADE9.pdf
43 0.01%21/May/17 17:23/~lp15/MLbook/exercises/exer7.html
43 22/May/17 09:34/~lp15/papers/Arith/atan-problem-1-weak.html
42 0.01%21/May/17 20:43/~lp15/MLbook/programs/sample7.sml
42 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample9.sml
42 0.19%22/May/17 14:16/~lp15/papers/Automation/filtering-jal.pdf
42 0.05%16/May/17 02:23/~lp15/papers/Workshop/friedrich.pdf
41 0.08%21/May/17 17:21/~lp15/papers/UNITY/ehmety-composition.pdf
41 0.09%22/May/17 14:45/~lp15/papers/Formath/milner-ind-defs.pdf
40 0.01%22/May/17 15:03/~lp15/MLbook/exercises/exer5.html
40 0.13%21/May/17 23:49/~lp15/papers/Notes/MOD-slides.pdf
40 0.08%21/May/17 17:21/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
40 0.09%21/May/17 17:22/~lp15/papers/Automation/cade2011-sledge-smt.pdf
39 0.07%21/May/17 17:22/~lp15/papers/Automation/leo2-ijcar.pdf
39 0.18%21/May/17 17:22/~lp15/papers/Automation/reconstruction.pdf
39 0.01%21/May/17 17:23/~lp15/MLbook/exercises/exer6.html
38 0.01%22/May/17 14:41/~lp15/MLbook/programs/sample10.sml
38 0.95%22/May/17 08:31/~lp15/Sue/Thesis-Appendices.pdf
37 0.09%20/May/17 07:34/~lp15/papers/Reports/blast.pdf
37 0.04%21/May/17 17:21/~lp15/papers/Auth/auth-slides.pdf
37 0.03%21/May/17 17:23/~lp15/Grants/LEO-II/leo2-case.pdf
37 0.04%21/May/17 17:24/~lp15/Sue/Cultures of Dance.ppt
37 0.41%21/May/17 17:22/~lp15/papers/Automation/reconstruction-slides.pdf
36 0.06%22/May/17 01:48/~lp15/papers/Formath/final.pdf
36 0.04%21/May/17 17:23/~lp15/papers/Arith/FroCoS-2013-invited.pdf
36 0.01%21/May/17 17:23/~lp15/MLbook/programs/sample8.sml
36 0.99%22/May/17 09:04/~lp15/Sue/Phd-Poster.pdf
36 0.19%21/May/17 17:24/~lp15/papers/Reports/intro-to-isabelle.pdf
36 0.09%22/May/17 04:30/~lp15/papers/Bella/esorics2000.pdf
35 0.37%21/May/17 17:22/~lp15/papers/Reports/TypeClasses.pdf
35 22/May/17 05:30/~lp15/MLbook/first/programs/
35 0.06%22/May/17 06:09/~lp15/papers/Workshop/papers/thompson.pdf
35 0.05%21/May/17 17:23/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
35 0.02%22/May/17 08:50/~lp15/papers/Arith/NFM2014-invited.pdf
35 0.04%21/May/17 17:23/~lp15/papers/Auth/security-protocols.pdf
35 0.05%22/May/17 06:55/~lp15/papers/Auth/ijcar2001.pdf
34 0.22%21/May/17 17:23/~lp15/papers/Auth/SET-overview-slides.pdf
34 0.17%22/May/17 05:30/~lp15/papers/Workshop/papers/rasmussen.pdf
34 0.34%22/May/17 01:07/~lp15/papers/Reports/ref97.pdf
34 1.80%21/May/17 17:23/~lp15/papers/Arith/FroCos-presentation.pdf
34 0.05%22/May/17 09:16/~lp15/papers/Arith/ITP-2012-invited.pdf
33 0.06%22/May/17 05:30/~lp15/papers/Workshop/papers/voelker.pdf
33 0.07%22/May/17 05:30/~lp15/papers/Workshop/papers/owens.pdf
33 0.14%21/May/17 17:21/~lp15/papers/Formath/constructible-slides.pdf
32 21/May/17 17:23/~lp15/MLbook/programs/notes.html
32 0.38%21/May/17 17:23/~lp15/Grants/Automation/poster.pdf
32 0.05%21/May/17 17:21/~lp15/papers/Bella/dimacs97.pdf
32 0.04%22/May/17 14:45/~lp15/papers/Notes/leeds-notes.pdf
32 0.06%21/May/17 17:23/~lp15/papers/Notes/strategy.pdf
32 0.08%21/May/17 17:23/~lp15/papers/Arith/SNC2014-invited.pdf
32 22/May/17 02:44/~lp15/Sue/Cultures of Dance.html
31 0.01%22/May/17 14:39/~lp15/MLbook/programs/test10.sml
31 0.01%22/May/17 05:30/~lp15/MLbook/first/ML-syntax.ps.gz
31 0.04%21/May/17 17:22/~lp15/papers/Reports/Descent of BAN.pdf
31 0.05%21/May/17 17:22/~lp15/papers/Arith/case-splitting.pdf
31 0.01%21/May/17 17:21/~lp15/papers/Formath/AC-slides.pdf
31 0.06%21/May/17 20:11/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
31 0.16%21/May/17 17:21/~lp15/papers/Auth/tls-slides.pdf
31 0.08%21/May/17 17:24/~lp15/papers/Formath/Goedel-logic-mine.pdf
31 0.01%22/May/17 09:11/~lp15/MLbook/programs/sample3-old.sml
31 0.12%21/May/17 17:21/~lp15/papers/Formath/set-II.pdf
30 0.04%21/May/17 20:31/~lp15/Grants/Automation/final.pdf
29 21/May/17 17:22/~lp15/Grants/auth.html
29 0.04%21/May/17 17:23/~lp15/papers/Formath/constructible-abstract.pdf
28 0.18%21/May/17 17:23/~lp15/papers/Formath/Future of formalised maths.pdf
28 22/May/17 06:00/~lp15/papers/Workshop/matthews.html
28 0.02%21/May/17 17:22/~lp15/Grants/Automation/case.pdf
28 0.14%21/May/17 17:22/~lp15/papers/Reports/logics97.pdf
27 0.02%22/May/17 01:12/~lp15/papers/Notes/strategy-slides.pdf
27 20/May/17 18:02/~lp15/MLbook/first/programs/Lambda.ML
27 0.19%21/May/17 17:23/~lp15/Grants/BeyondLinArith/arith-case.pdf
27 1.24%21/May/17 17:23/~lp15/papers/Arith/ITP 2012 presentation.pdf
27 16/May/17 07:06/~lp15/MLbook/first/programs/Functions.ML
27 20/May/17 03:19/~lp15/papers/OLD.SETS/
27 0.03%21/May/17 17:21/~lp15/papers/Auth/recur-slides.pdf
27 21/May/17 17:23/~lp15/MLbook/exercises/disclaimer.html
26 0.56%21/May/17 17:23/~lp15/Grants/BeyondLinArith/arith-poster.pdf
26 0.10%21/May/17 17:24/~lp15/papers/Auth/SET-document.pdf
26 0.01%21/May/17 22:59/~lp15/MLbook/programs/sample10-old.sml
26 0.09%21/May/17 17:22/~lp15/papers/Arith/cicm2012.pdf
25 0.07%22/May/17 05:30/~lp15/papers/Workshop/papers/nipkow.pdf
25 21/May/17 17:22/~lp15/Grants/Chaieb.html
25 0.59%21/May/17 17:23/~lp15/papers/Arith/SNC2014-slides.pdf
25 0.22%21/May/17 17:23/~lp15/papers/Arith/NFM2014-slides.pdf
24 22/May/17 05:30/~lp15/papers/Workshop/kalvala.html
24 0.01%21/May/17 17:21/~lp15/papers/Formath/ind-defs-slides.pdf
24 0.25%21/May/17 17:22/~lp15/papers/Reports/TypeClasses-slides.pdf
24 0.31%21/May/17 17:22/~lp15/papers/Arith/metit-slides.pdf
24 22/May/17 05:30/~lp15/papers/Workshop/participants.html
23 0.01%21/May/17 17:21/~lp15/papers/paulson.bib
23 0.22%21/May/17 17:22/~lp15/papers/Isabelle/Cube-presentation.pdf
23 0.28%21/May/17 17:23/~lp15/papers/Notes/formalizing-abst-slides.pdf
23 1.01%21/May/17 17:24/~lp15/papers/Formath/Goedel-slides.pdf
23 21/May/17 17:23/~lp15/MLbook/programs/sample9-2004.sml
23 0.33%21/May/17 17:23/~lp15/papers/Auth/ijcar2001-slides.pdf
23 22/May/17 05:30/~lp15/papers/Workshop/programme.html
23 0.20%21/May/17 17:21/~lp15/papers/Bella/TPHOLs03-slides.pdf
22 22/May/17 05:30/~lp15/papers/Workshop/nipkow.html
22 21/May/17 17:23/~lp15/MLbook/programs/sample8-old.sml
22 0.02%21/May/17 17:23/~lp15/papers/Arith/Overcoming.pdf
22 22/May/17 05:30/~lp15/papers/Workshop/thompson.html
22 19/May/17 16:41/~lp15/MLbook/first/programs/Modules.ML
22 0.67%21/May/17 17:23/~lp15/papers/Arith/Overcoming-slides.pdf
22 0.10%22/May/17 06:10/~lp15/papers/Reports/fleuriot-kepler.pdf
22 0.21%21/May/17 17:24/~lp15/papers/Auth/dagstuhl2003-slides.pdf
22 0.06%22/May/17 12:32/~lp15/papers/Workshop/papers/agerholm.pdf
21 22/May/17 05:30/~lp15/papers/Workshop/staples.html
21 0.03%22/May/17 05:30/~lp15/papers/Workshop/papers/ayari.pdf
21 0.28%22/May/17 10:51/~lp15/papers/Auth/dagstuhl2001-slides.pdf
21 22/May/17 05:30/~lp15/papers/Workshop/paulson.html
21 0.03%22/May/17 05:30/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
21 0.18%22/May/17 05:30/~lp15/papers/Deduction/lecture3.pdf
21 0.02%22/May/17 05:30/~lp15/papers/Workshop/kammueller.pdf
21 0.05%21/May/17 17:21/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
21 0.06%21/May/17 17:21/~lp15/papers/Isabelle/sylow.pdf
20 0.01%21/May/17 17:24/~lp15/Sue/Cultures of Dance.pdf
20 0.11%21/May/17 17:23/~lp15/papers/Automation/Huet colloquium.pdf
20 22/May/17 14:43/~lp15/Grants/UNITY/temporal.html
20 22/May/17 03:57/~lp15/papers/Arith/RELEASE-NOTES.txt
20 20/May/17 03:31/~lp15/papers/Workshop/futures.html
20 18/May/17 05:11/~lp15/MLbook/first/programs/Imperative.ML
19 20/May/17 04:37/~lp15/MLbook/first/programs/ParsePrint.ML
19 0.20%10/May/17 06:28/~lp15/papers/Reports/popl82.pdf
19 0.05%21/May/17 17:22/~lp15/papers/Arith/case-splitting-stats.csv
19 0.17%21/May/17 17:22/~lp15/papers/Formath/constructible-theory.pdf
19 0.04%22/May/17 05:30/~lp15/papers/Workshop/papers/benini.pdf
19 22/May/17 05:30/~lp15/papers/Workshop/agerholm.html
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.01%22/May/17 05:30/~lp15/Grants/SET/case.pdf
18 0.01%21/May/17 17:21/~lp15/papers/Isabelle/blast-slides.pdf
18 0.16%22/May/17 05:30/~lp15/papers/Deduction/lecture1.pdf
18 0.04%22/May/17 05:30/~lp15/papers/Workshop/papers/matthews.pdf
18 0.13%22/May/17 13:00/~lp15/papers/Deduction/lecture2.pdf
18 0.03%22/May/17 05:30/~lp15/papers/Workshop/vigano.pdf
18 0.07%21/May/17 17:22/~lp15/papers/Arith/Huang-precondition.pdf
18 0.08%22/May/17 05:30/~lp15/papers/Workshop/papers/kammueller.pdf
18 20/May/17 12:27/~lp15/papers/Workshop/wolff.html
17 20/May/17 10:22/~lp15/MLbook/first/programs/Lists-Trees.ML
17 0.50%21/May/17 17:23/~lp15/Grants/LEO-II/leo project poster.pdf
17 0.07%22/May/17 05:30/~lp15/papers/Workshop/papers/bednarczyk.pdf
16 20/May/17 12:41/~lp15/papers/Workshop/heule.html
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
16 22/May/17 05:30/~lp15/MLbook/first/ERRATA1.txt
16 0.12%21/May/17 20:11/~lp15/Pages/4colproof.pdf
15 0.09%21/May/17 20:56/~lp15/images/pilkington-full.jpg
15 0.03%20/May/17 15:37/~lp15/papers/Isabelle/Goedel-logic.pdf
15 22/May/17 05:30/~lp15/Grants/SET/final.pdf
15 0.05%22/May/17 05:30/~lp15/papers/Workshop/papers/vigano.pdf
15 0.04%19/May/17 00:17/~lp15/papers/Reports/lamport-paulson-types.pdf
14 22/May/17 05:30/~lp15/MLbook/first/ERRATA3.txt
14 0.02%22/May/17 05:30/~lp15/papers/Workshop/papers/staples.pdf
14 0.03%22/May/17 05:30/~lp15/Grants/Chaieb-case.pdf
14 22/May/17 05:30/~lp15/papers/Workshop/bednarczyk.txt
13 22/May/17 05:30/~lp15/Grants/BeyondLinArith/auth-final.pdf
13 0.99%21/May/17 17:25/~lp15/archive/Isabelle2005.tar.gz
13 2.28%22/May/17 05:30/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
13 0.01%12/May/17 22:02/~lp15/MLbook/first/programs/Hal.ML
12 0.04%19/May/17 15:47/~lp15/papers/OLD.SETS/set-I.pdf
12 0.05%22/May/17 05:30/~lp15/Data/relevance/tptp-2007-03-13.tbz
12 3.07%21/May/17 17:25/~lp15/archive/Isabelle2009-1.tar.gz
12 0.11%21/May/17 05:09/~lp15/papers/Automation/h4qed-clean.pdf
12 22/May/17 05:30/~lp15/MLbook/first/ERRATA2.txt
11 0.03%21/May/17 04:07/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
11 21/May/17 17:26/~lp15/archive/ERRATA.txt
11 0.03%14/May/17 14:22/~lp15/papers/Ballarin/coding.pdf
10 20/May/17 14:55/~lp15/Grants/UNITY/final.pdf
10 0.45%22/May/17 07:45/~lp15/Data/ho-translations/Comb.tbz
10 22/May/17 05:30/~lp15/papers/Workshop/owens.txt
10 0.07%19/May/17 16:20/~lp15/papers/Isabelle/Goedel-ar.pdf
10 0.01%20/May/17 03:02/~lp15/Grants/UNITY/case.pdf
10 22/May/17 05:30/~lp15/Data/relevance/unfiltered-spass.txt
10 0.02%20/May/17 08:16/~lp15/papers/Ballarin/aisc98.pdf
10 22/May/17 05:30/~lp15/Data/relevance/unfiltered-vampire.txt
9 2.58%21/May/17 17:25/~lp15/archive/Isabelle2009-2.tar.gz
9 15/May/17 15:37/~lp15/Templates/publications.dwt
9 0.40%21/May/17 17:26/~lp15/archive/Isabelle99-1.tar.gz
9 22/May/17 05:30/~lp15/MLbook/first/answers1-5.txt.gz
9 0.45%20/May/17 15:42/~lp15/papers/Isabelle/Goedel-slides.pdf
9 0.07%21/May/17 17:23/~lp15/papers/Formath/CPP 2017.pdf
9 1.96%22/May/17 07:46/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
9 0.07%22/May/17 05:30/~lp15/papers/Deduction/lecture4.pdf
9 0.49%21/May/17 17:26/~lp15/archive/Isabelle2003.tar.gz
9 22/May/17 05:30/~lp15/Data/relevance/unfiltered-E.txt
9 0.01%22/May/17 05:30/~lp15/papers/Workshop/ayari.pdf
8 0.01%22/May/17 05:30/~lp15/papers/Workshop/front.pdf
8 0.02%12/May/17 22:02/~lp15/papers/OLD.SETS/milner-ind-defs.pdf
8 22/May/17 05:30/~lp15/MLbook/first/answers8.txt.gz
8 0.01%21/May/17 17:26/~lp15/archive/Isabelle86.tar.gz
8 2.99%21/May/17 17:24/~lp15/archive/Isabelle2014.tar.gz
8 12/May/17 22:02/~lp15/MLbook/first/programs/edits.txt
8 21/May/17 23:31/~lp15/images/larry-paulson.jpg
8 0.32%22/May/17 07:45/~lp15/Data/ho-translations/Abst.tbz
8 2.35%21/May/17 17:25/~lp15/archive/Isabelle2011.tar.gz
8 22/May/17 07:44/~lp15/Data/ho-translations/Theories.tbz
8 0.02%12/May/17 22:02/~lp15/papers/OLD.SETS/AC.pdf
8 22/May/17 05:30/~lp15/MLbook/first/ML-syntax.dvi.gz
8 0.50%21/May/17 17:25/~lp15/archive/Isabelle2004.tar.gz
40117.69%22/May/17 07:45[not listed: 81 files]