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

Program started at Wed-21-Sep-2016 12:47.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-21-Sep-2016 12:32 (685.90 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 21-Sep-2016 12:47.

Successful requests: 17,380 (3,356)
Average successful requests per day: 25 (479)
Successful requests for pages: 6,015 (1,113)
Average successful requests for pages per day: 8 (158)
Failed requests: 533 (145)
Redirected requests: 115 (21)
Distinct files requested: 522 (370)
Distinct hosts served: 3,314 (924)
Corrupt logfile lines: 2
Unwanted logfile entries: 12,479
Data transferred: 6.24 gigabytes (800.35 megabytes)
Average data transferred per day: 9.32 megabytes (114.34 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 
Sun1734542+++++++++++++++++++
Mon41001247++++++++++++++++++++++++++++++++++++++++++
Tue2215649++++++++++++++++++++++
Wed24911025+++++++++++++++++++++++++++++++++++
Thu28321099+++++++++++++++++++++++++++++++++++++
Fri1799645++++++++++++++++++++++
Sat2209808+++++++++++++++++++++++++++

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
765242.68%.com (Commercial)
94616.78%[domain not given]
337313.77%[unresolved numerical addresses]
882 9.95%.edu (USA Higher Education)
1134 5.37%.net (Networks)
819 2.85%.de (Germany)
345 2.33%[unknown domain]
219 1.00%.in (India)
175 0.45%.uk (United Kingdom)
154 0.34%.fr (France)
91 0.34%.au (Australia)
202 0.28%.ru (Russia)
149 0.26%.mx (Mexico)
38 0.23%.br (Brazil)
26 0.21%.co (Colombia)
33 0.21%.pk (Pakistan)
50 0.19%.nl (Netherlands)
79 0.19%.ca (Canada)
97 0.19%.jp (Japan)
32 0.15%.th (Thailand)
8 0.14%.np (Nepal)
52 0.14%.pt (Portugal)
57 0.13%.nz (New Zealand)
53 0.12%.it (Italy)
15 0.12%.ph (Philippines)
17 0.10%.za (South Africa)
14 0.08%.my (Malaysia)
53 0.08%.sg (Singapore)
7 0.08%.hr (Croatia)
42 0.08%.se (Sweden)
23 0.07%.bg (Bulgaria)
15 0.07%.tr (Turkey)
27 0.06%.zw (Zimbabwe)
10 0.05%.na (Namibia)
19 0.05%.at (Austria)
16 0.05%.cn (China)
37 0.05%.org (Non Profit Making Organisations)
11 0.05%.ar (Argentina)
13 0.04%.id (Indonesia)
23 0.04%.ch (Switzerland)
29 0.04%.gr (Greece)
9 0.04%.gh (Ghana)
3 0.03%.ie (Ireland)
33 0.03%.dk (Denmark)
14 0.03%.pl (Poland)
15 0.03%.no (Norway)
35 0.03%.es (Spain)
32 0.03%.ua (Ukraine)
4 0.03%.ye (Yemen)
7 0.03%.fi (Finland)
3 0.03%.ae (United Arab Emirates)
7 0.02%.be (Belgium)
2 0.02%.vn (Vietnam)
9 0.02%.tw (Taiwan)
6 0.02%.lb (Lebanon)
3 0.02%.uy (Uruguay)
2 0.01%.is (Iceland)
4 0.01%.ke (Kenya)
1 0.01%.cm (Cameroon)
1 0.01%.si (Slovenia)
6 0.01%.arpa (Arpanet)
26 0.01%.cz (Czech Republic)
33 0.01%.hk (Hong Kong)
10 0.01%.gov (USA Government)
7 0.01%.ir (Iran)
2 0.01%.int (International Treaty Organisations)
3 0.01%.il (Israel)
13 0.01%.cy (Cyprus)
12 0.01%.ro (Romania)
3 0.01%.do (Dominican Republic)
1 0.01%.bd (Bangladesh)
2 0.01%.ee (Estonia)
2 .ge (Georgia)
1 .as (American Samoa)
2 .mk (Macedonia (Former Yugoslav Republic))
2 .re (Reunion)
3 .lv (Latvia)
1 .sk (Slovakia)
1 .kz (Kazakhstan)
1 .er (Eritrea)
1 .jo (Jordan)
6 .pe (Peru)
9 .hu (Hungary)
2 .tz (Tanzania)
1 .ly (Libya)
1 .us (United States)
1 .lt (Lithuania)
1 .bw (Botswana)

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
282114.35%amazonaws.com
1282 5.81%msn.com
1032 3.93%baidu.com
94616.78%[domain not given]
76113.41%bluechipbacklinks.com
711 9.35%princeton.edu
515 2.09%your-server.de
444 1.38%yandex.com
345 2.33%[unknown domain]
252 1.47%blackboard.com
193 0.11%sogou.com
192 1.11%virginm.net
174 0.02%4
144 1.38%5
143 0.12%mail.ru
138 0.17%114
128 0.36%14
118 0.58%117
117 0.23%btcentralplus.com
116 0.54%41
680824.49%[not listed: 1,040 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
88software
67engineering
58pdf
41notes
22equivalence
21in
17book
15theorem
15for
14of
14classes
13concepts
13and
12fairy
12rechard
12class
11cauchy
10proof
10second
9residue
8set
8chapter
8engeering
7computer
6theory
6property
6finite
6engg
6what
6dip&#314%3boma
241[not listed: 125 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
150372322OS unknown
257581588Windows
 2056733  Windows NT
 3260728  Unknown Windows
 404110  Windows XP
 2811  Windows Server 2003
 65  Windows 98
 41  Windows 2000
32179720Known robots
42058695Macintosh
52321677Unix
 2286671  Linux
 194  BSD
 162  Other Unix
611RISC 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
14494200 OK
2306206 Partial content
115301 Document moved permanently
580304 Not modified since last retrieval
30403 Access forbidden
499404 Document not found
4416 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
01185 
1B- 10B2 
11B- 100B2 
101B- 1kB349 
1kB- 10kB3876 0.25%
10kB-100kB5613 3.41%
100kB- 1MB563332.15%
1MB- 10MB64026.90%
10MB-100MB8037.28%

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
909853.26%.pdf [Adobe Portable Document Format]
30834.58%.gz [Gzip compressed files]
20434.40%  .tar.gz [Compressed archives]
86 9.57%.tbz
904 0.84%.jpg [JPEG graphics]
6 0.48%.tgz
4154 0.46%[directories]
4 0.32%.zip [Zip archives]
1861 0.28%.html [Hypertext Markup Language]
959 0.20%[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
131510.63%21/Sep/16 12:17/~lp15/papers/Notes/SE-I.pdf
794 0.12%21/Sep/16 11:48/~lp15/
539 0.02%21/Sep/16 12:08/~lp15/MLbook/
421 0.45%21/Sep/16 11:23/~lp15/images/larry-home-small.jpg
416 2.80%21/Sep/16 06:35/~lp15/papers/Reports/equivclasses-slides.pdf
378 0.30%21/Sep/16 11:23/~lp15/images/acm-logo.jpg
306 5.43%21/Sep/16 11:52/~lp15/Sue/Thesis.pdf
303 2.94%21/Sep/16 08:23/~lp15/papers/Reports/thesis.pdf
258 0.58%21/Sep/16 09:01/~lp15/papers/Notes/Founds-FP.pdf
228 0.73%21/Sep/16 06:45/~lp15/papers/Reports/equivclasses.pdf
224 0.01%21/Sep/16 12:08/~lp15/MLbook/programs/
218 0.03%21/Sep/16 12:08/~lp15/papers/Arith/
181 1.05%21/Sep/16 09:41/~lp15/papers/Formath/Goedel-ar.pdf
177 0.12%21/Sep/16 12:08/~lp15/papers/refereed.html
161 0.02%21/Sep/16 12:08/~lp15/Sue/
155 0.59%20/Sep/16 11:53/~lp15/papers/Formath/Residue-theorem.pdf
148 0.12%21/Sep/16 11:22/~lp15/papers/Reports/mutil.pdf
141 0.02%21/Sep/16 12:08/~lp15/Grants/AutoPolyFun/
140 0.35%21/Sep/16 11:00/~lp15/papers/Isabelle/fleuriot-kepler.pdf
139 21/Sep/16 12:07/~lp15/MLbook/exercises/
119 0.01%21/Sep/16 00:48/~lp15/MLbook/programs/sample2.sml
111 0.47%21/Sep/16 07:07/~lp15/papers/Auth/jcs.pdf
107 0.22%20/Sep/16 23:53/~lp15/papers/Formath/automata.pdf
102 0.01%21/Sep/16 12:21/~lp15/papers/Automation/
99 0.02%20/Sep/16 17:17/~lp15/Grants/SET/
98 0.02%21/Sep/16 12:08/~lp15/papers/Auth/
90 21/Sep/16 12:07/~lp15/MLbook/pub-details.html
88 0.10%21/Sep/16 10:05/~lp15/papers/Auth/SET-overview-2002.pdf
86 0.01%21/Sep/16 12:08/~lp15/papers/Formath/
84 0.20%21/Sep/16 11:39/~lp15/papers/Auth/tls.pdf
84 0.01%21/Sep/16 12:07/~lp15/papers/Reports/
81 21/Sep/16 12:08/~lp15/Pages/cv.html
80 0.01%21/Sep/16 12:08/~lp15/papers/lecture-courses.html
78 0.01%21/Sep/16 03:10/~lp15/images/
75 0.01%21/Sep/16 12:08/~lp15/MLbook/ERRATA.html
74 0.11%20/Sep/16 19:38/~lp15/Pages/vita.pdf
74 21/Sep/16 12:07/~lp15/Grants/
74 0.10%20/Sep/16 15:11/~lp15/papers/Auth/lics.pdf
74 0.01%21/Sep/16 12:08/~lp15/Grants/LEO-II/
73 0.07%21/Sep/16 12:08/~lp15/Usage/
69 0.01%21/Sep/16 12:08/~lp15/papers/Isabelle/
69 0.15%19/Sep/16 03:48/~lp15/papers/Automation/cade2011-sledge-smt.pdf
69 0.26%21/Sep/16 07:26/~lp15/papers/Formath/set-I.pdf
67 0.25%20/Sep/16 20:48/~lp15/papers/Bella/accountability.pdf
66 0.10%21/Sep/16 09:11/~lp15/papers/Formath/Goedel-logic.pdf
66 0.01%21/Sep/16 12:32/~lp15/archive/
66 0.18%21/Sep/16 12:11/~lp15/papers/Reports/TPHOLs05.pdf
65 0.14%21/Sep/16 11:34/~lp15/papers/Bella/esorics98.pdf
65 0.27%20/Sep/16 20:14/~lp15/papers/Bella/smartcards-jcs.pdf
63 21/Sep/16 03:53/~lp15/papers/
63 0.32%19/Sep/16 20:01/~lp15/papers/Arith/Sogokon-nfm14.pdf
62 0.01%21/Sep/16 05:22/~lp15/MLbook/exercises/exer2.html
61 0.01%21/Sep/16 12:08/~lp15/Grants/Automation/
60 0.14%21/Sep/16 10:48/~lp15/papers/Automation/jar-smt.pdf
60 0.01%21/Sep/16 12:08/~lp15/papers/workshop.html
59 19/Sep/16 03:46/~lp15/Data/ho-translations/
59 20/Sep/16 20:45/~lp15/MLbook/general.html
59 21/Sep/16 00:34/~lp15/MLbook/programs/ROOT.sml
59 0.11%21/Sep/16 06:08/~lp15/papers/Automation/paar.pdf
58 0.14%21/Sep/16 12:30/~lp15/papers/Automation/meng-termination.pdf
58 0.15%21/Sep/16 08:46/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
57 0.18%20/Sep/16 10:10/~lp15/papers/Automation/filtering.pdf
56 21/Sep/16 12:07/~lp15/Pages/CL-English.html
56 0.01%21/Sep/16 00:51/~lp15/MLbook/programs/sample3.sml
56 1.22%21/Sep/16 02:58/~lp15/papers/Auth/lics-slides.pdf
55 0.01%21/Sep/16 10:02/~lp15/MLbook/programs/sample8-2004.sml
55 0.01%21/Sep/16 12:07/~lp15/papers/invited.html
55 21/Sep/16 12:08/~lp15/papers/hol.html
55 21/Sep/16 11:08/~lp15/MLbook/StandardML.plist
54 0.14%20/Sep/16 11:49/~lp15/papers/Formath/AC.pdf
53 0.01%20/Sep/16 10:36/~lp15/MLbook/review.html
53 0.19%21/Sep/16 11:54/~lp15/papers/Automation/sultana-pfreconstruction.pdf
52 21/Sep/16 11:36/~lp15/papers/UNITY/
52 21/Sep/16 12:08/~lp15/Grants/BeyondLinArith/
52 21/Sep/16 03:53/~lp15/papers/Notes/
52 0.10%21/Sep/16 09:45/~lp15/Pages/harrison-real.pdf
52 0.02%21/Sep/16 11:24/~lp15/Sue/Sue Paulson.jpg
52 0.08%21/Sep/16 11:02/~lp15/papers/Arith/Narayanan DATE.pdf
51 19/Sep/16 21:42/~lp15/papers/Arith/download.html
51 0.11%21/Sep/16 02:21/~lp15/papers/Bella/nonrepudiation.pdf
51 0.15%19/Sep/16 12:53/~lp15/papers/Formath/Greens-theorem.pdf
51 0.19%21/Sep/16 06:29/~lp15/papers/Formath/reflection-slides.pdf
51 1.90%19/Sep/16 04:03/~lp15/papers/Arith/FroCos-presentation.pdf
50 18/Sep/16 11:22/~lp15/Pages/
50 21/Sep/16 09:03/~lp15/MLbook/first/
50 21/Sep/16 06:54/~lp15/MLbook/programs/sample5.sml
49 20/Sep/16 22:24/~lp15/SpryAssets/
49 21/Sep/16 12:07/~lp15/papers/recur.html
49 0.02%17/Sep/16 03:42/~lp15/Usage/images/
49 0.12%21/Sep/16 06:23/~lp15/papers/Arith/Hscc09.pdf
48 0.25%21/Sep/16 11:55/~lp15/papers/Arith/calculemus2008.pdf
47 0.17%20/Sep/16 20:48/~lp15/papers/Automation/translations-jar.pdf
47 0.07%19/Sep/16 03:34/~lp15/papers/Isabelle/chap700.pdf
47 0.09%21/Sep/16 11:28/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
46 17/Sep/16 03:03/~lp15/tmp/
45 0.02%20/Sep/16 13:27/~lp15/MLbook/exercises/exer3.html
45 0.14%20/Sep/16 07:20/~lp15/papers/Auth/SET-overview-IJIS.pdf
45 0.21%20/Sep/16 06:49/~lp15/papers/Automation/reconstruction.pdf
45 0.08%21/Sep/16 11:38/~lp15/papers/Isabelle/aisc98.pdf
45 21/Sep/16 05:09/~lp15/papers/Workshop/
45 0.10%21/Sep/16 07:08/~lp15/papers/Bella/registration.pdf
45 0.12%21/Sep/16 01:58/~lp15/papers/Bella/certified-email.pdf
44 18/Sep/16 23:41/~lp15/papers/Bella/
44 0.21%21/Sep/16 03:23/~lp15/papers/Workshop/papers/rasmussen.pdf
44 17/Sep/16 03:04/~lp15/css/
43 0.04%20/Sep/16 17:25/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
43 21/Sep/16 12:08/~lp15/papers/books.html
42 0.24%21/Sep/16 05:09/~lp15/papers/Arith/MetiTarski-jar.pdf
42 0.01%21/Sep/16 02:21/~lp15/Grants/UNITY/
41 0.18%20/Sep/16 21:10/~lp15/papers/UNITY/composition.pdf
41 0.08%19/Sep/16 11:42/~lp15/papers/Arith/lpar2007.pdf
41 0.02%20/Sep/16 19:46/~lp15/images/pilkington.jpg
41 17/Sep/16 02:59/~lp15/Templates/
41 20/Sep/16 02:08/~lp15/papers/Arith/qepcad-for-mac.html
41 0.01%19/Sep/16 13:11/~lp15/MLbook/exercises/exer8.html
41 0.12%21/Sep/16 02:38/~lp15/papers/Formath/reflection.pdf
40 0.08%19/Sep/16 07:14/~lp15/papers/Arith/Huang-3heuristics.pdf
40 17/Sep/16 03:34/~lp15/Data/
40 0.08%20/Sep/16 08:22/~lp15/Grants/AutoPolyFun/case.pdf
39 0.01%20/Sep/16 02:33/~lp15/MLbook/programs/sample10.sml
39 0.02%21/Sep/16 09:08/~lp15/papers/Reviews/MLer.pdf
39 0.09%20/Sep/16 17:00/~lp15/papers/Isabelle/coding.pdf
39 0.04%20/Sep/16 06:39/~lp15/papers/Reports/CADE9.pdf
38 17/Sep/16 03:42/~lp15/papers/Reviews/
38 0.07%20/Sep/16 01:15/~lp15/papers/UNITY/ehmety-composition.pdf
38 0.01%19/Sep/16 15:18/~lp15/MLbook/programs/sample9.sml
38 0.08%19/Sep/16 15:22/~lp15/papers/Automation/translations.pdf
38 0.01%21/Sep/16 01:36/~lp15/MLbook/programs/sample4.sml
38 0.06%19/Sep/16 04:02/~lp15/papers/Arith/ITP-2012-invited.pdf
37 0.08%19/Sep/16 07:14/~lp15/papers/Auth/multicast_verification.pdf
36 0.04%21/Sep/16 07:15/~lp15/papers/Arith/FroCoS-2013-invited.pdf
36 19/Sep/16 03:59/~lp15/papers/Deduction/
36 10/Sep/16 23:24/~lp15/papers/Ballarin/
36 0.09%21/Sep/16 01:29/~lp15/papers/Formath/milner-ind-defs.pdf
35 0.01%19/Sep/16 03:55/~lp15/Grants/holisa.html
35 0.06%20/Sep/16 11:00/~lp15/papers/Arith/fmcad2009.pdf
35 0.08%21/Sep/16 11:23/~lp15/papers/Isabelle/blast.pdf
35 0.36%19/Sep/16 15:41/~lp15/Pages/Munich-slides.pdf
34 0.08%21/Sep/16 10:21/~lp15/papers/Reports/blast.pdf
34 18/Sep/16 17:35/~lp15/MLbook/first/programs/
34 0.06%19/Sep/16 03:38/~lp15/papers/Bella/cav98.pdf
34 0.01%20/Sep/16 19:46/~lp15/MLbook/exercises/exer6.html
34 0.04%19/Sep/16 03:45/~lp15/papers/Arith/pdpar2006.pdf
34 0.05%19/Sep/16 23:12/~lp15/papers/Reports/CADE11.pdf
34 0.04%20/Sep/16 23:30/~lp15/papers/Workshop/friedrich.pdf
33 0.17%19/Sep/16 07:14/~lp15/papers/Reports/Bridge-ml.pdf
33 0.01%20/Sep/16 20:14/~lp15/MLbook/exercises/exer4.html
33 20/Sep/16 09:47/~lp15/MLbook/disclaimer.html
33 0.07%19/Sep/16 13:40/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
33 0.01%21/Sep/16 02:36/~lp15/MLbook/exercises/exer5.html
33 0.01%20/Sep/16 18:14/~lp15/MLbook/exercises/exer7.html
33 0.03%20/Sep/16 17:43/~lp15/papers/Auth/yahalom.pdf
33 0.26%20/Sep/16 17:42/~lp15/papers/Automation/info-and-comp.pdf
32 0.24%21/Sep/16 12:08/~lp15/papers/Reports/popl82.pdf
32 0.01%19/Sep/16 12:54/~lp15/MLbook/programs/sample8.sml
32 19/Sep/16 21:00/~lp15/Pages/projects.html
32 20/Sep/16 03:16/~lp15/Pages/ACS-proposals.html
32 0.06%21/Sep/16 09:56/~lp15/papers/Bella/purchase.pdf
32 0.12%19/Sep/16 03:35/~lp15/papers/Formath/set-II.pdf
31 0.06%20/Sep/16 20:25/~lp15/papers/UNITY/tphols01.pdf
31 0.11%19/Sep/16 03:58/~lp15/papers/Notes/MOD-slides.pdf
31 20/Sep/16 21:58/~lp15/papers/Arith/atan-problem-1-weak.html
31 0.05%21/Sep/16 04:43/~lp15/papers/Auth/ijcar2001.pdf
31 19/Sep/16 03:47/~lp15/Data/relevance/
30 0.06%21/Sep/16 05:22/~lp15/papers/Automation/thf-sledge.pdf
29 0.04%21/Sep/16 09:15/~lp15/papers/Auth/auth-slides.pdf
29 0.23%21/Sep/16 04:07/~lp15/papers/Bella/purchase-JAR.pdf
29 0.01%19/Sep/16 04:03/~lp15/papers/Arith/NFM2014-invited.pdf
29 0.08%19/Sep/16 04:03/~lp15/papers/Arith/SNC2014-invited.pdf
28 19/Sep/16 04:05/~lp15/MLbook/programs/notes.html
28 0.04%20/Sep/16 01:39/~lp15/papers/Reports/Descent of BAN.pdf
28 0.02%21/Sep/16 09:50/~lp15/papers/Reviews/construct.pdf
27 0.01%19/Sep/16 07:39/~lp15/MLbook/programs/sample7.sml
27 0.05%21/Sep/16 02:12/~lp15/papers/Bella/dimacs97.pdf
27 0.04%19/Sep/16 03:58/~lp15/papers/Notes/leeds-notes.pdf
27 0.06%21/Sep/16 05:20/~lp15/papers/Notes/strategy.pdf
27 0.06%20/Sep/16 04:08/~lp15/papers/Automation/IJCAR2004.pdf
27 0.07%17/Sep/16 17:47/~lp15/papers/Formath/Goedel-logic-mine.pdf
27 0.30%20/Sep/16 11:21/~lp15/papers/Automation/reconstruction-slides.pdf
27 0.08%19/Sep/16 03:43/~lp15/papers/UNITY/Mechanizing-compositional.pdf
27 0.07%19/Sep/16 03:40/~lp15/papers/Bella/esorics2000.pdf
27 0.30%20/Sep/16 21:21/~lp15/papers/Reports/ref97.pdf
27 0.11%19/Sep/16 03:42/~lp15/papers/Formath/constructible-slides.pdf
26 0.04%19/Sep/16 03:39/~lp15/papers/Formath/final.pdf
26 0.01%14/Sep/16 00:26/~lp15/MLbook/programs/test10.sml
26 0.02%19/Sep/16 03:58/~lp15/Grants/LEO-II/leo2-case.pdf
26 0.04%20/Sep/16 09:40/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
26 1.40%19/Sep/16 04:02/~lp15/papers/Arith/ITP 2012 presentation.pdf
26 0.04%21/Sep/16 11:34/~lp15/papers/Formath/constructible-abstract.pdf
25 0.72%21/Sep/16 07:17/~lp15/Sue/Phd-Poster.pdf
25 0.03%21/Sep/16 06:14/~lp15/papers/Auth/security-protocols.pdf
25 0.63%19/Sep/16 04:03/~lp15/papers/Arith/SNC2014-slides.pdf
25 20/Sep/16 02:39/~lp15/Pages/Scream.html
25 19/Sep/16 04:05/~lp15/MLbook/programs/sample3-old.sml
24 19/Sep/16 03:55/~lp15/Grants/auth.html
24 0.01%21/Sep/16 10:44/~lp15/papers/paulson.bib
24 0.05%19/Sep/16 03:48/~lp15/papers/Arith/case-splitting.pdf
24 0.03%21/Sep/16 06:00/~lp15/Sue/Cultures of Dance.ppt
24 0.04%21/Sep/16 10:44/~lp15/papers/Workshop/papers/kalvala-linear.pdf
24 0.01%14/Sep/16 21:12/~lp15/Grants/UNITY/case.pdf
24 1.08%20/Sep/16 10:10/~lp15/papers/Formath/Goedel-slides.pdf
23 0.27%19/Sep/16 21:12/~lp15/papers/Reports/TypeClasses.pdf
23 0.01%19/Sep/16 23:56/~lp15/papers/Formath/AC-slides.pdf
23 0.04%21/Sep/16 08:03/~lp15/papers/Workshop/papers/thompson.pdf
23 19/Sep/16 22:33/~lp15/papers/Workshop/thompson.html
23 0.11%21/Sep/16 08:34/~lp15/papers/Reports/fleuriot-kepler.pdf
23 0.09%21/Sep/16 02:21/~lp15/papers/UNITY/UNITY.pdf
22 0.11%19/Sep/16 03:47/~lp15/papers/Automation/filtering-jal.pdf
22 0.02%19/Sep/16 04:02/~lp15/papers/Arith/Overcoming.pdf
22 0.01%10/Sep/16 23:21/~lp15/MLbook/programs/sample10-old.sml
22 0.25%19/Sep/16 05:41/~lp15/papers/Reports/TypeClasses-slides.pdf
22 0.14%17/Sep/16 09:11/~lp15/papers/Reports/intro-to-isabelle.pdf
22 0.02%20/Sep/16 19:36/~lp15/Grants/Automation/case.pdf
22 0.34%20/Sep/16 20:46/~lp15/papers/Arith/metit-slides.pdf
22 1.11%20/Sep/16 04:03/~lp15/papers/Notes/LCF+.pdf
22 0.03%19/Sep/16 03:37/~lp15/papers/Auth/recur-slides.pdf
21 20/Sep/16 18:54/~lp15/Grants/arith.html
21 0.03%18/Sep/16 16:21/~lp15/papers/Workshop/papers/ayari.pdf
21 18/Sep/16 16:26/~lp15/papers/Workshop/matthews.html
21 0.04%20/Sep/16 21:33/~lp15/papers/Automation/leo2-ijcar.pdf
21 0.73%19/Sep/16 03:58/~lp15/Grants/LEO-II/leo project poster.pdf
21 0.23%19/Sep/16 10:01/~lp15/papers/Isabelle/Cube-presentation.pdf
21 0.02%18/Sep/16 08:54/~lp15/papers/Workshop/kammueller.pdf
21 0.12%19/Sep/16 03:53/~lp15/papers/Reports/logics97.pdf
21 10/Sep/16 23:24/~lp15/papers/Workshop/agerholm.html
21 21/Sep/16 04:19/~lp15/Grants/temporal.html
21 12/Sep/16 14:57/~lp15/papers/Workshop/participants.html
20 11/Sep/16 22:52/~lp15/papers/Workshop/kalvala.html
20 0.29%20/Sep/16 04:11/~lp15/papers/Auth/dagstuhl2001-slides.pdf
20 0.26%20/Sep/16 20:19/~lp15/Grants/Automation/poster.pdf
20 0.11%19/Sep/16 03:39/~lp15/papers/Auth/tls-slides.pdf
20 0.03%19/Sep/16 03:56/~lp15/Grants/Automation/final.pdf
20 0.29%20/Sep/16 11:20/~lp15/papers/Notes/formalizing-abst-slides.pdf
20 21/Sep/16 08:13/~lp15/papers/OLD.SETS/
20 0.19%20/Sep/16 01:38/~lp15/papers/Arith/NFM2014-slides.pdf
20 16/Sep/16 00:57/~lp15/MLbook/exercises/disclaimer.html
20 0.30%19/Sep/16 16:02/~lp15/papers/Auth/ijcar2001-slides.pdf
19 19/Sep/16 04:06/~lp15/MLbook/programs/sample8-old.sml
19 0.08%20/Sep/16 20:13/~lp15/papers/Auth/SET-document.pdf
19 20/Sep/16 09:30/~lp15/MLbook/first/programs/Lambda.ML
19 0.14%19/Sep/16 07:56/~lp15/Grants/BeyondLinArith/arith-case.pdf
19 0.14%19/Sep/16 04:00/~lp15/papers/Auth/SET-overview-slides.pdf
19 11/Sep/16 16:40/~lp15/MLbook/programs/sample9-2004.sml
19 0.06%19/Sep/16 03:39/~lp15/papers/Isabelle/sylow.pdf
19 0.08%19/Sep/16 03:48/~lp15/papers/Arith/cicm2012.pdf
19 0.48%18/Sep/16 02:22/~lp15/Sue/Thesis-Appendices.pdf
18 0.05%19/Sep/16 03:49/~lp15/papers/Arith/case-splitting-stats.csv
18 0.02%21/Sep/16 09:58/~lp15/papers/Workshop/papers/staples.pdf
18 18/Sep/16 04:29/~lp15/papers/Workshop/staples.html
18 19/Sep/16 03:35/~lp15/papers/Formath/ind-defs-slides.pdf
18 0.44%19/Sep/16 03:57/~lp15/Grants/BeyondLinArith/arith-poster.pdf
18 0.01%20/Sep/16 10:31/~lp15/papers/Isabelle/blast-slides.pdf
18 0.05%19/Sep/16 06:16/~lp15/papers/Workshop/papers/nipkow.pdf
18 0.03%20/Sep/16 12:06/~lp15/papers/Workshop/papers/voelker.pdf
18 0.05%19/Sep/16 21:28/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
18 19/Sep/16 03:55/~lp15/Grants/Chaieb.html
18 19/Sep/16 08:17/~lp15/papers/Workshop/programme.html
18 0.17%19/Sep/16 03:42/~lp15/papers/Bella/TPHOLs03-slides.pdf
17 21/Sep/16 09:50/~lp15/MLbook/first/programs/ParsePrint.ML
17 10/Sep/16 23:24/~lp15/papers/Workshop/nipkow.html
17 0.01%19/Sep/16 22:41/~lp15/papers/Notes/strategy-slides.pdf
17 0.01%19/Sep/16 11:59/~lp15/MLbook/first/ML-syntax.ps.gz
17 10/Sep/16 23:24/~lp15/papers/Workshop/paulson.html
17 0.03%19/Sep/16 15:41/~lp15/papers/Workshop/papers/matthews.pdf
17 0.02%20/Sep/16 07:19/~lp15/papers/Workshop/vigano.pdf
17 0.18%20/Sep/16 21:35/~lp15/papers/Auth/dagstuhl2003-slides.pdf
16 0.03%20/Sep/16 13:49/~lp15/papers/Workshop/papers/benini.pdf
16 0.14%17/Sep/16 12:49/~lp15/papers/Deduction/lecture1.pdf
16 0.63%19/Sep/16 04:02/~lp15/papers/Arith/Overcoming-slides.pdf
16 18/Sep/16 23:23/~lp15/MLbook/first/programs/Functions.ML
16 0.06%18/Sep/16 12:07/~lp15/papers/Workshop/papers/kammueller.pdf
15 0.15%19/Sep/16 03:43/~lp15/papers/Formath/constructible-theory.pdf
15 0.09%20/Sep/16 15:52/~lp15/papers/Automation/Huet colloquium.pdf
15 0.06%18/Sep/16 06:23/~lp15/Data/relevance/tptp-2007-03-13.tbz
15 0.03%16/Sep/16 08:26/~lp15/papers/Ballarin/aisc98.pdf
15 10/Sep/16 23:21/~lp15/Sue/Cultures of Dance.html
14 0.01%17/Sep/16 07:39/~lp15/Grants/SET/case.pdf
14 18/Sep/16 22:53/~lp15/MLbook/first/programs/Modules.ML
14 0.03%18/Sep/16 07:34/~lp15/papers/Workshop/papers/owens.pdf
14 10/Sep/16 23:24/~lp15/papers/Workshop/futures.html
14 19/Sep/16 09:20/~lp15/MLbook/first/programs/Imperative.ML
14 10/Sep/16 23:24/~lp15/papers/Workshop/wolff.html
13 15/Sep/16 22:20/~lp15/MLbook/first/ERRATA3.txt
13 10/Sep/16 23:24/~lp15/papers/Workshop/heule.html
13 0.11%20/Sep/16 19:56/~lp15/papers/Formath/Future of formalised maths.pdf
13 18/Sep/16 23:04/~lp15/MLbook/first/programs/Lists-Trees.ML
13 17/Sep/16 04:30/~lp15/Grants/SET/final.pdf
13 0.03%19/Sep/16 19:56/~lp15/papers/Workshop/papers/agerholm.pdf
12 0.01%15/Sep/16 18:00/~lp15/Sue/Cultures of Dance.pdf
12 0.02%14/Sep/16 18:19/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
12 2.33%18/Sep/16 06:23/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
12 0.04%20/Sep/16 16:54/~lp15/papers/Workshop/papers/vigano.pdf
12 0.08%20/Sep/16 13:23/~lp15/papers/Deduction/lecture3.pdf
11  7/Sep/16 23:56/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
11 3.33% 7/Sep/16 23:56/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
11 12/Sep/16 17:29/~lp15/papers/Arith/RELEASE-NOTES.txt
11 18/Sep/16 10:25/~lp15/Grants/temporal-final.pdf
11 0.01% 9/Sep/16 21:21/~lp15/papers/Workshop/ayari.pdf
10 13/Sep/16 08:00/~lp15/Grants/UNITY/final.pdf
10 0.62%19/Sep/16 22:24/~lp15/Data/ho-translations/Comb.tbz
10 19/Sep/16 15:08/~lp15/papers/Workshop/bednarczyk.txt
10 0.02%20/Sep/16 22:53/~lp15/papers/Isabelle/Goedel-logic.pdf
10 0.07%15/Sep/16 15:47/~lp15/papers/Deduction/lecture2.pdf
10 0.04%19/Sep/16 23:26/~lp15/papers/Workshop/papers/bednarczyk.pdf
10 0.09%19/Sep/16 20:34/~lp15/Grants/arith-case.pdf
10  7/Sep/16 14:12/~lp15/Data/relevance/unfiltered-vampire.txt
9  5/Sep/16 04:58/~lp15/Grants/BeyondLinArith/auth-final.pdf
9 0.01%17/Sep/16 13:08/~lp15/Grants/Chaieb-case.pdf
9 15/Sep/16 21:24/~lp15/papers/Workshop/owens.txt
9 0.52%20/Sep/16 11:48/~lp15/Data/ho-translations/Abst.tbz
9 10/Sep/16 02:12/~lp15/Data/ho-translations/Theories.tbz
9 2.72% 7/Sep/16 23:56/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
9 0.64%18/Sep/16 22:10/~lp15/archive/Isabelle2003.tar.gz
9 19/Sep/16 13:18/~lp15/Data/relevance/unfiltered-spass.txt
9 17/Sep/16 04:36/~lp15/MLbook/first/ERRATA1.txt
9 0.06%18/Sep/16 14:50/~lp15/papers/Automation/h4qed-clean.pdf
9 18/Sep/16 23:04/~lp15/MLbook/first/programs/Hal.ML
9 10/Sep/16 21:08/~lp15/MLbook/first/ERRATA2.txt
9 0.02%20/Sep/16 21:29/~lp15/papers/Ballarin/coding.pdf
8 0.05%20/Sep/16 19:47/~lp15/images/pilkington-full.jpg
8 2.63%20/Sep/16 23:59/~lp15/archive/Isabelle2009-2.tar.gz
8 0.95%18/Sep/16 00:44/~lp15/archive/Isabelle2009.tar.gz
8 0.64%17/Sep/16 01:33/~lp15/archive/Isabelle2005.tar.gz
8 18/Sep/16 17:35/~lp15/MLbook/first/answers1-5.txt.gz
8 2.80%20/Sep/16 04:48/~lp15/archive/Isabelle2011.tar.gz
8 0.05%20/Sep/16 02:04/~lp15/papers/Deduction/lecture4.pdf
8 0.19%17/Sep/16 19:04/~lp15/Grants/arith-poster.pdf
8  5/Sep/16 01:40/~lp15/Data/relevance/unfiltered-E.txt
7  6/Sep/16 17:47/~lp15/papers/Workshop/front.pdf
7 0.29% 5/Sep/16 04:59/~lp15/archive/Isabelle99.tar.gz
7 0.02%16/Sep/16 21:58/~lp15/archive/Isabelle90.tar.gz
7 2.54% 5/Sep/16 04:59/~lp15/archive/Isabelle2014.tar.gz
7 0.35%19/Sep/16 09:37/~lp15/archive/Isabelle99-1.tar.gz
7 16/Sep/16 07:41/~lp15/MLbook/first/programs/edits.txt
7 0.02% 5/Sep/16 04:59/~lp15/archive/Isabelle91.tar.gz
7 0.34%16/Sep/16 16:05/~lp15/papers/Isabelle/Goedel-slides.pdf
7 3.27% 5/Sep/16 04:59/~lp15/archive/Isabelle2015.tar.gz
7 0.03%18/Sep/16 20:25/~lp15/papers/Reports/lamport-paulson-types.pdf
7 0.01%18/Sep/16 23:05/~lp15/archive/Isabelle89.tar.gz
6 4.07% 5/Sep/16 04:59/~lp15/archive/Isabelle2013.tar.gz
6 0.04% 5/Sep/16 04:59/~lp15/archive/Isabelle94.tar.gz
6 0.02%16/Sep/16 00:49/~lp15/papers/OLD.SETS/reflection.pdf
6 18/Sep/16 17:35/~lp15/MLbook/first/answers8.txt.gz
6 0.01% 5/Sep/16 04:59/~lp15/archive/Isabelle86.tar.gz
6 0.13% 5/Sep/16 04:59/~lp15/archive/Isabelle94-8.tar.gz
6 3.89% 5/Sep/16 04:59/~lp15/archive/Isabelle2013-1.tar.gz
6 0.48% 9/Sep/16 17:53/~lp15/papers/Arith/metit.tgz
6 0.35% 5/Sep/16 04:59/~lp15/archive/Isabelle2002.tar.gz
6  5/Sep/16 04:59/~lp15/archive/ERRATA.txt
6 0.02% 5/Sep/16 04:59/~lp15/archive/Isabelle92.tar.gz
6 0.57% 5/Sep/16 04:59/~lp15/archive/Isabelle2007.tar.gz
6 12/Sep/16 01:10/~lp15/MLbook/first/ML-syntax.dvi.gz
6 3.15% 5/Sep/16 04:59/~lp15/archive/Isabelle2011-1.tar.gz
6 21/Sep/16 10:07/~lp15/MLbook/ERRATA.txt
199 8.68%21/Sep/16 03:56[not listed: 60 files]