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

Program started at Mon-24-Apr-2017 15:26.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-24-Apr-2017 15:15 (901.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 24-Apr-2017 15:26.

Successful requests: 22,364 (3,176)
Average successful requests per day: 24 (453)
Successful requests for pages: 8,161 (1,290)
Average successful requests for pages per day: 9 (184)
Failed requests: 819 (108)
Redirected requests: 128 (21)
Distinct files requested: 529 (341)
Distinct hosts served: 4,533 (813)
Corrupt logfile lines: 3
Unwanted logfile entries: 16,383
Data transferred: 6.16 gigabytes (720.29 megabytes)
Average data transferred per day: 7.00 megabytes (102.90 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 
Sun2421851++++++++++++++++++++++
Mon41601529+++++++++++++++++++++++++++++++++++++++
Tue2809934++++++++++++++++++++++++
Wed41311639+++++++++++++++++++++++++++++++++++++++++
Thu35001313+++++++++++++++++++++++++++++++++
Fri2279714++++++++++++++++++
Sat30641181++++++++++++++++++++++++++++++

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
1064358.16%.com (Commercial)
526819.12%[unresolved numerical addresses]
1339 5.70%.net (Networks)
818 3.37%.de (Germany)
864 2.50%[domain not given]
360 1.95%[unknown domain]
232 0.93%.in (India)
327 0.90%.edu (USA Higher Education)
145 0.68%.au (Australia)
77 0.65%.fr (France)
320 0.64%.uk (United Kingdom)
294 0.55%.ru (Russia)
57 0.48%.ph (Philippines)
69 0.31%.br (Brazil)
52 0.24%.se (Sweden)
32 0.22%.th (Thailand)
35 0.21%.co (Colombia)
75 0.20%.pt (Portugal)
106 0.17%.jp (Japan)
18 0.16%.np (Nepal)
38 0.16%.nz (New Zealand)
37 0.16%.zw (Zimbabwe)
51 0.16%.ca (Canada)
30 0.15%.pk (Pakistan)
22 0.14%.za (South Africa)
43 0.13%.id (Indonesia)
50 0.11%.nl (Netherlands)
27 0.11%.ke (Kenya)
50 0.11%.org (Non Profit Making Organisations)
21 0.10%.my (Malaysia)
40 0.10%.sg (Singapore)
42 0.10%.mx (Mexico)
84 0.09%.it (Italy)
35 0.08%.at (Austria)
45 0.07%.pl (Poland)
5 0.07%.ng (Nigeria)
22 0.07%.vn (Vietnam)
24 0.05%.cn (China)
10 0.05%.arpa (Arpanet)
20 0.05%.bg (Bulgaria)
8 0.04%.hr (Croatia)
29 0.04%.fi (Finland)
36 0.04%.dk (Denmark)
11 0.04%.be (Belgium)
25 0.04%.ch (Switzerland)
23 0.04%.hu (Hungary)
14 0.04%.tw (Taiwan)
3 0.04%.ie (Ireland)
65 0.03%.hk (Hong Kong)
4 0.03%.ye (Yemen)
2 0.03%.lk (Sri Lanka)
39 0.03%.gr (Greece)
26 0.03%.ua (Ukraine)
12 0.02%.na (Namibia)
16 0.02%.cy (Cyprus)
21 0.02%.il (Israel)
24 0.02%.es (Spain)
15 0.02%.ro (Romania)
16 0.02%.tr (Turkey)
21 0.02%.cz (Czech Republic)
9 0.02%.no (Norway)
3 0.02%.ly (Libya)
4 0.02%.uy (Uruguay)
6 0.02%.is (Iceland)
10 0.01%.ar (Argentina)
1 0.01%.si (Slovenia)
7 0.01%.mil (USA Military)
4 0.01%.ir (Iran)
14 0.01%.gov (USA Government)
2 0.01%.int (International Treaty Organisations)
7 0.01%.sk (Slovakia)
4 0.01%.ba (Bosnia-Herzegovina)
4 0.01%.lv (Latvia)
2 0.01%.ug (Uganda)
4 .st (Saint Tome and Principe)
4 .gh (Ghana)
5 .lt (Lithuania)
1 .as (American Samoa)
5 .ae (United Arab Emirates)
1 .kz (Kazakhstan)
4 .lb (Lebanon)
6 .us (United States)
1 .do (Dominican Republic)
3 .md (Moldova)
1 .lu (Luxembourg)
3 .biz (Businesses)
4 .mk (Macedonia (Former Yugoslav Republic))
3 .bn (Brunei Darussalam)
3 .cl (Chile)
1 .sa (Saudi Arabia)
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
413920.30%amazonaws.com
1532 7.15%msn.com
1409 5.22%baidu.com
924 3.51%yandex.com
864 2.50%[domain not given]
76113.58%bluechipbacklinks.com
636 3.28%199.16
528 2.33%your-server.de
360 1.95%[unknown domain]
329 0.42%114
313 0.13%sogou.com
253 0.52%virginm.net
213 0.42%mail.ru
194 4.54%telia.com
187 0.87%41
167 0.36%14
160 0.41%btcentralplus.com
149 0.02%4
137 0.71%103
132 0.06%cam.ac.uk
897731.71%[not listed: 1,273 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
73pdf
70software
66engineering
42notes
31theorem
28equivalence
27residue
22and
21for
20state
19prove
18of
18cauchy
15in
14classes
14download
13set
13proof
12r
12diploma
12class
10is
10computer
9the
9cauchy's
7hindi
7programming
7students
6if
6pearl
299[not listed: 146 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
181093604OS unknown
270832104Windows
 40331045  Unknown Windows
 2623900  Windows NT
 395130  Windows XP
 1313  Windows Server 2003
 97  Windows 2000
 66  Windows 95
 43  Windows 98
32371912Known robots
42694912Macintosh
52072612Unix
 2038601  Linux
 155  Other Unix
 32  SunOS
 22  OSF1
 142  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
18797200 OK
2948206 Partial content
128301 Document moved permanently
619304 Not modified since last retrieval
45403 Access forbidden
774404 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- 1kB519 
1kB- 10kB6039 0.38%
10kB-100kB6780 4.23%
100kB- 1MB758042.24%
1MB- 10MB68628.03%
10MB-100MB6125.11%

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
1150966.52%.pdf [Adobe Portable Document Format]
20723.32%.gz [Gzip compressed files]
12223.17%  .tar.gz [Compressed archives]
65 7.09%.tbz
1226 1.18%.jpg [JPEG graphics]
5569 0.56%[directories]
6 0.49%.tgz
2592 0.35%.html [Hypertext Markup Language]
2 0.22%.zip [Zip archives]
792 0.11%.sml
396 0.15%[not listed: 7 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
150110.43%24/Apr/17 08:36/~lp15/papers/Notes/SE-I.pdf
1156 0.15%24/Apr/17 14:04/~lp15/
724 0.03%24/Apr/17 12:49/~lp15/MLbook/
575 0.62%24/Apr/17 14:04/~lp15/images/larry-home-small.jpg
567 3.93%24/Apr/17 08:19/~lp15/papers/Reports/equivclasses-slides.pdf
505 0.40%24/Apr/17 14:04/~lp15/images/acm-logo.jpg
395 0.85%24/Apr/17 13:59/~lp15/papers/Notes/Founds-FP.pdf
389 1.54%24/Apr/17 14:48/~lp15/papers/Formath/Residue-theorem.pdf
362 6.73%24/Apr/17 13:00/~lp15/Sue/Thesis.pdf
351 0.01%24/Apr/17 14:25/~lp15/MLbook/programs/
288 0.04%24/Apr/17 11:35/~lp15/papers/Arith/
263 0.69%24/Apr/17 15:11/~lp15/papers/Formath/automata.pdf
252 0.13%24/Apr/17 14:04/~lp15/papers/refereed.html
251 1.04%24/Apr/17 15:13/~lp15/papers/Formath/Greens-theorem.pdf
239 3.23%24/Apr/17 12:14/~lp15/papers/Reports/thesis.pdf
236 0.79%20/Apr/17 11:14/~lp15/papers/Reports/equivclasses.pdf
232 0.01%24/Apr/17 15:00/~lp15/MLbook/programs/sample2.sml
215 0.02%24/Apr/17 01:37/~lp15/Sue/
206 1.13%23/Apr/17 04:08/~lp15/papers/Formath/Goedel-ar.pdf
195 1.10%24/Apr/17 15:15/~lp15/papers/Formath/LiRealAlgebraicNumbers.pdf
188 24/Apr/17 12:25/~lp15/MLbook/exercises/
184 1.42%24/Apr/17 14:37/~lp15/papers/Isabelle/Goedel-ar.pdf
158 0.02%24/Apr/17 10:51/~lp15/Grants/AutoPolyFun/
144 0.66%24/Apr/17 12:15/~lp15/papers/Auth/jcs.pdf
141 0.48%24/Apr/17 10:15/~lp15/papers/Isabelle/fleuriot-kepler.pdf
134 0.12%21/Apr/17 14:30/~lp15/papers/Reports/mutil.pdf
133 0.02%24/Apr/17 04:59/~lp15/papers/Automation/
133 0.02%24/Apr/17 14:31/~lp15/Grants/SET/
129 0.02%24/Apr/17 04:51/~lp15/papers/Auth/
129 24/Apr/17 03:35/~lp15/MLbook/pub-details.html
123 0.01%23/Apr/17 15:14/~lp15/papers/lecture-courses.html
121 0.02%24/Apr/17 00:49/~lp15/papers/Formath/
118 0.01%24/Apr/17 14:56/~lp15/Pages/cv.html
116 0.01%24/Apr/17 13:10/~lp15/Grants/LEO-II/
112 0.01%24/Apr/17 13:05/~lp15/Grants/
106 0.16%24/Apr/17 12:31/~lp15/Pages/vita.pdf
106 0.01%24/Apr/17 04:59/~lp15/MLbook/ERRATA.html
103 0.16%24/Apr/17 04:35/~lp15/papers/Formath/Goedel-logic.pdf
100 0.12%24/Apr/17 09:32/~lp15/papers/Auth/SET-overview-2002.pdf
98 0.01%23/Apr/17 00:38/~lp15/papers/Reports/
98 0.37%23/Apr/17 18:02/~lp15/papers/Formath/set-I.pdf
97 0.01%24/Apr/17 14:31/~lp15/images/
92 0.07%24/Apr/17 00:59/~lp15/Usage/
92 0.01%23/Apr/17 13:11/~lp15/MLbook/exercises/exer2.html
91 0.01%24/Apr/17 12:49/~lp15/Grants/Automation/
90 0.13%22/Apr/17 16:34/~lp15/papers/Auth/lics.pdf
89 0.01%24/Apr/17 10:50/~lp15/MLbook/review.html
89 0.01%22/Apr/17 20:50/~lp15/archive/
87 0.36%24/Apr/17 13:29/~lp15/papers/Bella/smartcards-jcs.pdf
85 0.21%24/Apr/17 06:55/~lp15/papers/Auth/tls.pdf
84 0.01%23/Apr/17 07:08/~lp15/papers/Isabelle/
84 0.01%23/Apr/17 13:50/~lp15/papers/books.html
84 0.33%24/Apr/17 00:44/~lp15/papers/Bella/accountability.pdf
82 24/Apr/17 03:35/~lp15/MLbook/general.html
82 0.43%24/Apr/17 05:31/~lp15/papers/Arith/Sogokon-nfm14.pdf
81 0.01%22/Apr/17 11:30/~lp15/papers/hol.html
80 24/Apr/17 06:04/~lp15/Grants/BeyondLinArith/
79 0.59%21/Apr/17 05:56/~lp15/Pages/Munich-slides.pdf
78 0.25%20/Apr/17 00:57/~lp15/papers/Automation/sultana-pfreconstruction.pdf
78 0.01%24/Apr/17 10:51/~lp15/papers/invited.html
76 0.01%22/Apr/17 09:30/~lp15/papers/
76 0.01%20/Apr/17 16:01/~lp15/papers/workshop.html
74 0.26%24/Apr/17 04:59/~lp15/papers/Automation/filtering.pdf
73 23/Apr/17 13:24/~lp15/papers/Arith/download.html
71 24/Apr/17 13:06/~lp15/Pages/
10 24/Apr/17 13:06  /~lp15/Pages/?C=N;O=D
71 20/Apr/17 00:56/~lp15/papers/Notes/
70 24/Apr/17 01:00/~lp15/Pages/CL-English.html
70 0.28%23/Apr/17 17:42/~lp15/papers/Reports/Bridge-ml.pdf
70 0.06%24/Apr/17 14:15/~lp15/papers/Auth/yahalom.pdf
69 0.16%23/Apr/17 01:02/~lp15/papers/Bella/esorics98.pdf
68 0.01%24/Apr/17 05:57/~lp15/papers/Workshop/
68 0.01%24/Apr/17 14:02/~lp15/papers/recur.html
68 0.14%23/Apr/17 04:23/~lp15/papers/Automation/paar.pdf
67 0.01%24/Apr/17 03:34/~lp15/MLbook/programs/sample3.sml
66 0.24%24/Apr/17 04:07/~lp15/papers/Automation/translations-jar.pdf
66 24/Apr/17 03:35/~lp15/MLbook/first/
65 24/Apr/17 13:01/~lp15/SpryAssets/
65 24/Apr/17 13:00/~lp15/css/
64 0.01%24/Apr/17 12:46/~lp15/MLbook/exercises/exer8.html
64 0.01%24/Apr/17 06:11/~lp15/MLbook/programs/sample5.sml
64 24/Apr/17 00:15/~lp15/MLbook/StandardML.plist
62 0.13%24/Apr/17 05:34/~lp15/papers/Arith/Huang-3heuristics.pdf
62 0.03%23/Apr/17 18:10/~lp15/Sue/Sue Paulson.jpg
61 0.02%24/Apr/17 05:43/~lp15/MLbook/exercises/exer3.html
61 0.17%24/Apr/17 05:23/~lp15/papers/Reports/TPHOLs05.pdf
60 0.15%22/Apr/17 07:47/~lp15/papers/Formath/AC.pdf
60 24/Apr/17 09:10/~lp15/MLbook/programs/ROOT.sml
60 0.03%24/Apr/17 12:30/~lp15/images/pilkington.jpg
60 0.01%23/Apr/17 01:02/~lp15/MLbook/programs/sample8-2004.sml
60 0.10%20/Apr/17 10:42/~lp15/papers/Arith/Narayanan DATE.pdf
59 24/Apr/17 00:48/~lp15/papers/UNITY/
59 0.11%24/Apr/17 00:24/~lp15/papers/Auth/multicast_verification.pdf
58 0.15%22/Apr/17 12:34/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
56 0.29%22/Apr/17 19:06/~lp15/papers/Arith/calculemus2008.pdf
56 24/Apr/17 06:11/~lp15/papers/Arith/qepcad-for-mac.html
56 0.45%24/Apr/17 11:20/~lp15/papers/Automation/info-and-comp.pdf
55 0.21%22/Apr/17 08:23/~lp15/papers/Formath/reflection-slides.pdf
55 0.01%24/Apr/17 07:14/~lp15/MLbook/programs/sample4.sml
55 0.10%22/Apr/17 07:11/~lp15/papers/Arith/fmcad2009.pdf
54 0.17%23/Apr/17 03:27/~lp15/papers/Formath/reflection.pdf
53 0.01%22/Apr/17 23:59/~lp15/Grants/UNITY/
52 24/Apr/17 05:31/~lp15/papers/Bella/
52 0.11%20/Apr/17 22:11/~lp15/Pages/harrison-real.pdf
52 1.14%24/Apr/17 06:02/~lp15/papers/Auth/lics-slides.pdf
52 0.08%23/Apr/17 04:08/~lp15/papers/Arith/pdpar2006.pdf
52 0.12%23/Apr/17 15:24/~lp15/papers/Bella/registration.pdf
52 0.15%24/Apr/17 11:42/~lp15/papers/Bella/certified-email.pdf
52 0.13%23/Apr/17 03:02/~lp15/papers/Arith/Hscc09.pdf
51 0.11%20/Apr/17 06:37/~lp15/papers/Bella/nonrepudiation.pdf
51 0.04%23/Apr/17 09:47/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
50 0.08%23/Apr/17 19:14/~lp15/papers/Isabelle/chap700.pdf
50 0.10%23/Apr/17 01:47/~lp15/papers/Isabelle/aisc98.pdf
50 0.14%20/Apr/17 00:57/~lp15/papers/Automation/meng-termination.pdf
50 0.01%24/Apr/17 05:32/~lp15/Grants/holisa.html
50 24/Apr/17 13:00/~lp15/Data/
49 24/Apr/17 02:39/~lp15/tmp/
49 0.09%23/Apr/17 12:56/~lp15/papers/Bella/cav98.pdf
49 24/Apr/17 13:08/~lp15/Templates/
49 0.07%23/Apr/17 04:10/~lp15/papers/Reports/CADE11.pdf
49 0.02%21/Apr/17 16:53/~lp15/Usage/images/
49 0.09%22/Apr/17 20:53/~lp15/papers/Bella/purchase.pdf
48 0.22%18/Apr/17 09:31/~lp15/papers/UNITY/composition.pdf
47 0.11%24/Apr/17 05:51/~lp15/papers/Automation/translations.pdf
46 0.07%24/Apr/17 05:42/~lp15/papers/UNITY/tphols01.pdf
46 0.11%21/Apr/17 03:06/~lp15/papers/Automation/jar-smt.pdf
45 24/Apr/17 04:08/~lp15/papers/Reviews/
45 24/Apr/17 09:40/~lp15/MLbook/disclaimer.html
45 0.01%24/Apr/17 13:06/~lp15/Pages/Scream.html
44 24/Apr/17 05:56/~lp15/Data/ho-translations/
44 0.02%24/Apr/17 00:44/~lp15/papers/Reviews/MLer.pdf
44 0.05%24/Apr/17 14:33/~lp15/Sue/Cultures of Dance.ppt
44 0.12%23/Apr/17 01:47/~lp15/papers/Isabelle/coding.pdf
44 24/Apr/17 14:02/~lp15/Pages/projects.html
44 0.01%21/Apr/17 18:04/~lp15/Pages/ACS-proposals.html
43 0.27%24/Apr/17 05:56/~lp15/papers/Arith/MetiTarski-jar.pdf
43 0.01%23/Apr/17 14:28/~lp15/MLbook/exercises/exer7.html
43 0.04%22/Apr/17 08:59/~lp15/papers/Reports/CADE9.pdf
42 24/Apr/17 05:51/~lp15/papers/Deduction/
42 0.01%24/Apr/17 03:49/~lp15/MLbook/exercises/exer4.html
42 0.09%24/Apr/17 13:03/~lp15/papers/Automation/IJCAR2004.pdf
42 23/Apr/17 13:23/~lp15/papers/Arith/atan-problem-1-weak.html
42 0.09%24/Apr/17 05:42/~lp15/Grants/AutoPolyFun/case.pdf
42 0.06%20/Apr/17 00:57/~lp15/papers/Automation/thf-sledge.pdf
41 0.01%24/Apr/17 05:52/~lp15/MLbook/exercises/exer5.html
41 0.10%21/Apr/17 16:28/~lp15/papers/Arith/lpar2007.pdf
41 0.12%24/Apr/17 12:32/~lp15/papers/UNITY/Mechanizing-compositional.pdf
40 0.33%23/Apr/17 17:53/~lp15/papers/Bella/purchase-JAR.pdf
40 0.07%23/Apr/17 16:55/~lp15/papers/Workshop/papers/kalvala-linear.pdf
40 0.10%20/Apr/17 00:55/~lp15/papers/Formath/milner-ind-defs.pdf
40 0.09%24/Apr/17 14:40/~lp15/papers/Automation/cade2011-sledge-smt.pdf
40 20/Apr/17 07:32/~lp15/Data/relevance/
39 0.01%23/Apr/17 09:32/~lp15/MLbook/programs/sample10.sml
39 0.14%22/Apr/17 19:29/~lp15/papers/Notes/MOD-slides.pdf
39 0.01%24/Apr/17 00:22/~lp15/MLbook/exercises/exer6.html
39 20/Apr/17 00:56/~lp15/papers/Ballarin/
39 0.09%22/Apr/17 02:36/~lp15/papers/Isabelle/blast.pdf
39 0.08%24/Apr/17 13:37/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
38 0.05%22/Apr/17 13:19/~lp15/papers/Auth/auth-slides.pdf
38 0.01%23/Apr/17 02:44/~lp15/MLbook/programs/sample9.sml
38 0.06%24/Apr/17 11:07/~lp15/papers/Auth/ijcar2001.pdf
38 0.16%21/Apr/17 19:03/~lp15/papers/Formath/set-II.pdf
37 0.01%24/Apr/17 08:35/~lp15/MLbook/programs/sample7.sml
37 0.09%22/Apr/17 09:59/~lp15/papers/Reports/blast.pdf
37 0.04%15/Apr/17 11:32/~lp15/papers/Workshop/friedrich.pdf
36 0.13%20/Apr/17 00:55/~lp15/papers/Auth/SET-overview-IJIS.pdf
35 24/Apr/17 03:08/~lp15/MLbook/programs/notes.html
35 0.03%24/Apr/17 01:38/~lp15/Grants/LEO-II/leo2-case.pdf
35 24/Apr/17 03:35/~lp15/MLbook/first/programs/
35 0.18%20/Apr/17 00:57/~lp15/papers/Automation/filtering-jal.pdf
35 0.03%24/Apr/17 00:22/~lp15/Grants/Automation/case.pdf
35 0.02%24/Apr/17 01:03/~lp15/papers/Reviews/construct.pdf
35 0.18%24/Apr/17 04:22/~lp15/papers/Workshop/papers/rasmussen.pdf
34 0.06%20/Apr/17 05:29/~lp15/papers/Formath/final.pdf
34 0.07%22/Apr/17 10:31/~lp15/papers/UNITY/ehmety-composition.pdf
33 0.01%20/Apr/17 00:54/~lp15/MLbook/programs/sample8.sml
33 0.06%23/Apr/17 14:12/~lp15/papers/Workshop/papers/thompson.pdf
33 0.42%20/Apr/17 12:35/~lp15/papers/Automation/reconstruction-slides.pdf
33 1.44%24/Apr/17 01:16/~lp15/papers/Notes/LCF+.pdf
33 0.39%23/Apr/17 00:32/~lp15/papers/Reports/ref97.pdf
33 0.04%23/Apr/17 00:50/~lp15/papers/Auth/security-protocols.pdf
33 2.02%20/Apr/17 00:54/~lp15/papers/Arith/FroCos-presentation.pdf
33 0.94%24/Apr/17 00:45/~lp15/Sue/Thesis-Appendices.pdf
32 0.06%20/Apr/17 20:32/~lp15/papers/Automation/leo2-ijcar.pdf
32 0.22%22/Apr/17 20:48/~lp15/papers/Reports/intro-to-isabelle.pdf
32 0.06%22/Apr/17 15:21/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
31 0.04%20/Apr/17 10:53/~lp15/papers/Notes/leeds-notes.pdf
31 0.09%21/Apr/17 01:00/~lp15/papers/Arith/SNC2014-invited.pdf
31 0.06%22/Apr/17 10:41/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.04%23/Apr/17 20:45/~lp15/papers/Arith/FroCoS-2013-invited.pdf
30 0.37%23/Apr/17 15:59/~lp15/papers/Reports/TypeClasses.pdf
30 0.39%24/Apr/17 14:33/~lp15/Grants/Automation/poster.pdf
30 0.93%20/Apr/17 04:08/~lp15/Sue/Phd-Poster.pdf
30 0.06%24/Apr/17 04:59/~lp15/papers/Bella/dimacs97.pdf
30 0.15%20/Apr/17 00:57/~lp15/papers/Automation/reconstruction.pdf
30 23/Apr/17 03:32/~lp15/Grants/Chaieb.html
29 24/Apr/17 04:59/~lp15/Grants/auth.html
29 0.01%22/Apr/17 01:28/~lp15/papers/Formath/AC-slides.pdf
29 0.08%22/Apr/17 16:22/~lp15/papers/Bella/esorics2000.pdf
29 0.14%20/Apr/17 06:37/~lp15/papers/Formath/constructible-slides.pdf
28 0.23%12/Apr/17 12:09/~lp15/papers/Reports/popl82.pdf
28 0.04%20/Apr/17 00:55/~lp15/papers/Reports/Descent of BAN.pdf
28 23/Apr/17 14:03/~lp15/papers/Workshop/matthews.html
28 0.05%24/Apr/17 14:11/~lp15/papers/Arith/case-splitting.pdf
28 0.06%16/Apr/17 14:33/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
28 0.16%21/Apr/17 04:13/~lp15/papers/Auth/tls-slides.pdf
28 0.02%24/Apr/17 12:49/~lp15/papers/Arith/NFM2014-invited.pdf
28 0.21%20/Apr/17 11:16/~lp15/papers/Auth/SET-overview-slides.pdf
28 23/Apr/17 13:11/~lp15/MLbook/exercises/disclaimer.html
27 0.01%20/Apr/17 22:40/~lp15/MLbook/programs/test10.sml
27 0.06%20/Apr/17 00:53/~lp15/papers/Notes/strategy.pdf
27 0.08%20/Apr/17 08:07/~lp15/papers/Formath/Goedel-logic-mine.pdf
27 0.12%17/Apr/17 23:05/~lp15/papers/UNITY/UNITY.pdf
27 1.21%24/Apr/17 05:14/~lp15/papers/Formath/Goedel-slides.pdf
27 0.16%21/Apr/17 13:01/~lp15/papers/Reports/logics97.pdf
26 0.02%23/Apr/17 17:19/~lp15/papers/Notes/strategy-slides.pdf
26 0.02%22/Apr/17 16:22/~lp15/papers/paulson.bib
26 0.40%20/Apr/17 10:50/~lp15/papers/Arith/metit-slides.pdf
26 0.04%20/Apr/17 00:54/~lp15/papers/Formath/constructible-abstract.pdf
26 0.03%20/Apr/17 14:19/~lp15/papers/Auth/recur-slides.pdf
26 0.11%24/Apr/17 14:52/~lp15/papers/Arith/cicm2012.pdf
25 0.18%20/Apr/17 00:54/~lp15/papers/Formath/Future of formalised maths.pdf
25 24/Apr/17 08:34/~lp15/MLbook/first/programs/Lambda.ML
25 24/Apr/17 05:59/~lp15/papers/OLD.SETS/
25 20/Apr/17 07:34/~lp15/papers/Workshop/programme.html
24 0.01%24/Apr/17 00:31/~lp15/papers/Formath/ind-defs-slides.pdf
24 0.11%20/Apr/17 21:47/~lp15/papers/Auth/SET-document.pdf
24 20/Apr/17 07:34/~lp15/papers/Workshop/participants.html
24 20/Apr/17 00:54/~lp15/MLbook/programs/sample3-old.sml
23 24/Apr/17 09:17/~lp15/papers/Workshop/staples.html
23 0.58%24/Apr/17 04:58/~lp15/Grants/BeyondLinArith/arith-poster.pdf
23 0.28%20/Apr/17 08:06/~lp15/papers/Reports/TypeClasses-slides.pdf
23 0.19%23/Apr/17 20:01/~lp15/Grants/BeyondLinArith/arith-case.pdf
23 1.30%20/Apr/17 00:54/~lp15/papers/Arith/ITP 2012 presentation.pdf
23 24/Apr/17 03:36/~lp15/MLbook/first/programs/Functions.ML
23 0.07%24/Apr/17 12:32/~lp15/papers/Isabelle/sylow.pdf
23 0.66%20/Apr/17 19:44/~lp15/papers/Arith/SNC2014-slides.pdf
23 21/Apr/17 20:51/~lp15/Sue/Cultures of Dance.html
22 0.02%24/Apr/17 12:36/~lp15/papers/Arith/Overcoming.pdf
22 0.26%20/Apr/17 00:56/~lp15/papers/Isabelle/Cube-presentation.pdf
22 0.28%20/Apr/17 00:53/~lp15/papers/Notes/formalizing-abst-slides.pdf
22 0.10%23/Apr/17 14:12/~lp15/papers/Reports/fleuriot-kepler.pdf
22 20/Apr/17 07:34/~lp15/papers/Workshop/agerholm.html
21 20/Apr/17 07:32/~lp15/papers/Workshop/kalvala.html
21 21/Apr/17 07:54/~lp15/papers/Workshop/thompson.html
21 0.02%20/Apr/17 10:29/~lp15/papers/Workshop/kammueller.pdf
21 0.22%20/Apr/17 00:54/~lp15/papers/Arith/NFM2014-slides.pdf
21 24/Apr/17 05:34/~lp15/MLbook/first/programs/Imperative.ML
20 0.06%23/Apr/17 07:00/~lp15/papers/Arith/case-splitting-stats.csv
20 21/Apr/17 12:36/~lp15/papers/Workshop/paulson.html
20 20/Apr/17 18:53/~lp15/papers/Workshop/futures.html
20 0.20%20/Apr/17 00:55/~lp15/papers/Bella/TPHOLs03-slides.pdf
19 20/Apr/17 07:34/~lp15/papers/Workshop/nipkow.html
19 0.21%20/Apr/17 00:55/~lp15/papers/Formath/constructible-theory.pdf
19 24/Apr/17 05:35/~lp15/papers/Workshop/heule.html
19 21/Apr/17 12:28/~lp15/MLbook/programs/sample8-old.sml
19 0.03%24/Apr/17 10:52/~lp15/Grants/Automation/final.pdf
19 0.06%18/Apr/17 00:09/~lp15/papers/Workshop/papers/nipkow.pdf
19 0.70%24/Apr/17 00:33/~lp15/Grants/LEO-II/leo project poster.pdf
19 0.01%20/Apr/17 00:54/~lp15/MLbook/programs/sample10-old.sml
19 0.04%23/Apr/17 19:28/~lp15/papers/Workshop/papers/voelker.pdf
19 24/Apr/17 08:11/~lp15/MLbook/first/programs/Modules.ML
19 23/Apr/17 16:41/~lp15/papers/Workshop/wolff.html
18  1/Oct/16 16:32/~lp15/Grants/arith.html
18 0.15%21/Apr/17 22:19/~lp15/papers/Deduction/lecture1.pdf
18 0.12%22/Apr/17 00:17/~lp15/papers/Automation/Huet colloquium.pdf
18 0.08%24/Apr/17 07:36/~lp15/papers/Workshop/papers/bednarczyk.pdf
18 18/Apr/17 15:55/~lp15/papers/Arith/RELEASE-NOTES.txt
18 20/Apr/17 00:54/~lp15/MLbook/programs/sample9-2004.sml
18 0.05%20/Apr/17 00:57/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 0.21%20/Apr/17 00:55/~lp15/papers/Auth/dagstuhl2003-slides.pdf
17 0.03%16/Apr/17 17:39/~lp15/papers/Workshop/papers/ayari.pdf
17 0.28%20/Apr/17 00:55/~lp15/papers/Auth/dagstuhl2001-slides.pdf
17 0.01%20/Apr/17 00:56/~lp15/papers/Isabelle/blast-slides.pdf
17 0.04%20/Apr/17 11:34/~lp15/papers/Workshop/papers/matthews.pdf
17 0.09%21/Apr/17 14:03/~lp15/papers/Deduction/lecture2.pdf
17 0.28%21/Apr/17 04:13/~lp15/papers/Auth/ijcar2001-slides.pdf
16 0.01%21/Apr/17 04:01/~lp15/Sue/Cultures of Dance.pdf
16 0.10%24/Apr/17 12:31/~lp15/images/pilkington-full.jpg
16 0.01% 3/Oct/16 23:03/~lp15/MLbook/first/ML-syntax.ps.gz
16 0.69%20/Apr/17 00:53/~lp15/papers/Arith/Overcoming-slides.pdf
16 0.03%22/Apr/17 14:56/~lp15/papers/Workshop/papers/owens.pdf
16 0.13%16/Apr/17 18:28/~lp15/papers/Deduction/lecture3.pdf
16  4/Oct/16 06:37/~lp15/Grants/temporal.html
15 24/Apr/17 05:30/~lp15/MLbook/first/programs/ParsePrint.ML
15 24/Apr/17 02:41/~lp15/MLbook/first/programs/Lists-Trees.ML
15 0.02%17/Apr/17 19:54/~lp15/papers/Workshop/vigano.pdf
15 0.05%24/Apr/17 01:05/~lp15/papers/Workshop/papers/vigano.pdf
15 0.04%20/Apr/17 09:15/~lp15/papers/Workshop/papers/agerholm.pdf
15 0.07%24/Apr/17 01:47/~lp15/papers/Workshop/papers/kammueller.pdf
14 0.01%17/Apr/17 18:27/~lp15/Grants/SET/case.pdf
14 0.02%17/Apr/17 01:33/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
14 0.04% 2/Oct/16 20:18/~lp15/papers/Reports/lamport-paulson-types.pdf
13 0.02%24/Apr/17 12:56/~lp15/papers/Workshop/papers/staples.pdf
13 0.02%14/Apr/17 09:35/~lp15/papers/Isabelle/Goedel-logic.pdf
13 24/Apr/17 07:32/~lp15/Grants/UNITY/temporal.html
13 24/Apr/17 06:04/~lp15/MLbook/first/ERRATA1.txt
12 18/Apr/17 18:32/~lp15/Grants/UNITY/final.pdf
12 24/Apr/17 08:05/~lp15/papers/Workshop/bednarczyk.txt
12 2.44%20/Apr/17 07:33/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.02%20/Apr/17 13:07/~lp15/papers/Workshop/papers/benini.pdf
11 0.06%20/Apr/17 00:57/~lp15/papers/Arith/Huang-precondition.pdf
11 20/Apr/17 22:28/~lp15/MLbook/first/programs/Hal.ML
10 15/Apr/17 14:00/~lp15/Grants/BeyondLinArith/auth-final.pdf
10 0.02%19/Apr/17 18:13/~lp15/papers/Ballarin/aisc98.pdf
9 18/Apr/17 18:35/~lp15/MLbook/first/ERRATA3.txt
9 0.53%22/Apr/17 00:24/~lp15/Data/ho-translations/Comb.tbz
9 24/Apr/17 03:36/~lp15/MLbook/first/programs/edits.txt
9 24/Apr/17 00:26/~lp15/Grants/SET/final.pdf
9 2.16%23/Apr/17 16:56/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
9 0.04%20/Apr/17 07:32/~lp15/Data/relevance/tptp-2007-03-13.tbz
9 0.06%17/Apr/17 09:32/~lp15/papers/Deduction/lecture4.pdf
9 2.86%28/Sep/16 22:02/~lp15/archive/Isabelle2009-1.tar.gz
9 0.09%17/Apr/17 13:09/~lp15/papers/Automation/h4qed-clean.pdf
9 0.02%16/Apr/17 23:14/~lp15/papers/Ballarin/coding.pdf
9 0.06%24/Apr/17 12:41/~lp15/Pages/4colproof.pdf
8 2.68%12/Apr/17 22:51/~lp15/archive/Isabelle2009-2.tar.gz
8 0.02% 2/Oct/16 11:54/~lp15/Grants/Chaieb-case.pdf
8 20/Apr/17 13:02/~lp15/papers/Workshop/owens.txt
8 15/Apr/17 23:02/~lp15/Grants/UNITY/case.pdf
8 19/Apr/17 09:07/~lp15/Data/relevance/unfiltered-vampire.txt
7 0.03%12/Apr/17 16:20/~lp15/papers/Reports/SR%E2%80%932009%E2%80%9302.pdf
7 0.01%20/Apr/17 02:37/~lp15/archive/Isabelle86.tar.gz
7 0.02%14/Apr/17 11:12/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
7 23/Apr/17 02:14/~lp15/images/larry-paulson.jpg
7 22/Apr/17 00:23/~lp15/Data/ho-translations/Theories.tbz
7 15/Apr/17 13:24/~lp15/Data/relevance/unfiltered-spass.txt
7 0.05% 2/Oct/16 22:18/~lp15/Grants/arith-case.pdf
7 16/Apr/17 19:54/~lp15/MLbook/first/ERRATA2.txt
32921.13%24/Apr/17 08:10[not listed: 91 files]