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

Program started at Wed-28-Sep-2016 16:49.
Analysed requests from Wed-05-Nov-2014 15:02 to Wed-28-Sep-2016 16:40 (693.07 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 28-Sep-2016 16:49.

Successful requests: 16,499 (3,413)
Average successful requests per day: 23 (487)
Successful requests for pages: 5,820 (1,222)
Average successful requests for pages per day: 8 (174)
Failed requests: 557 (144)
Redirected requests: 104 (17)
Distinct files requested: 518 (375)
Distinct hosts served: 3,310 (915)
Corrupt logfile lines: 4
Unwanted logfile entries: 12,396
Data transferred: 5.06 gigabytes (924.81 megabytes)
Average data transferred per day: 7.48 megabytes (132.12 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 
Sun1786629+++++++++++++++++++++
Mon38291293++++++++++++++++++++++++++++++++++++++++++++
Tue2187666+++++++++++++++++++++++
Wed25681012++++++++++++++++++++++++++++++++++
Thu2554980+++++++++++++++++++++++++++++++++
Fri1291369+++++++++++++
Sat2284871++++++++++++++++++++++++++++++

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
739251.30%.com (Commercial)
354215.86%[unresolved numerical addresses]
89912.40%.edu (USA Higher Education)
1090 6.71%.net (Networks)
726 3.13%.de (Germany)
574 2.23%[domain not given]
233 1.21%[unknown domain]
206 1.00%.in (India)
189 0.57%.uk (United Kingdom)
103 0.46%.au (Australia)
47 0.45%.br (Brazil)
64 0.27%.pt (Portugal)
22 0.27%.th (Thailand)
16 0.25%.ph (Philippines)
26 0.24%.co (Colombia)
14 0.22%.pk (Pakistan)
222 0.22%.ru (Russia)
74 0.20%.ca (Canada)
96 0.19%.fr (France)
81 0.18%.jp (Japan)
18 0.17%.za (South Africa)
23 0.16%.zw (Zimbabwe)
34 0.15%.se (Sweden)
68 0.15%.it (Italy)
24 0.14%.nz (New Zealand)
7 0.13%.np (Nepal)
24 0.13%.ke (Kenya)
21 0.13%.my (Malaysia)
37 0.11%.sg (Singapore)
7 0.10%.hr (Croatia)
79 0.09%.mx (Mexico)
23 0.09%.bg (Bulgaria)
41 0.08%.org (Non Profit Making Organisations)
11 0.06%.na (Namibia)
7 0.06%.vn (Vietnam)
26 0.06%.nl (Netherlands)
17 0.06%.at (Austria)
3 0.05%.id (Indonesia)
23 0.05%.cn (China)
3 0.04%.ie (Ireland)
20 0.04%.ch (Switzerland)
14 0.04%.fi (Finland)
15 0.04%.pl (Poland)
24 0.04%.dk (Denmark)
4 0.03%.ye (Yemen)
37 0.03%.es (Spain)
28 0.03%.gr (Greece)
7 0.03%.be (Belgium)
9 0.03%.tw (Taiwan)
41 0.02%.hk (Hong Kong)
3 0.02%.uy (Uruguay)
13 0.02%.no (Norway)
2 0.02%.is (Iceland)
1 0.02%.cm (Cameroon)
1 0.02%.si (Slovenia)
27 0.02%.ua (Ukraine)
23 0.02%.cz (Czech Republic)
8 0.01%.arpa (Arpanet)
11 0.01%.tr (Turkey)
1 0.01%.mil (USA Military)
8 0.01%.ar (Argentina)
2 0.01%.int (International Treaty Organisations)
3 0.01%.il (Israel)
9 0.01%.gov (USA Government)
13 0.01%.cy (Cyprus)
3 0.01%.do (Dominican Republic)
1 0.01%.bd (Bangladesh)
2 0.01%.ee (Estonia)
8 0.01%.ro (Romania)
4 0.01%.gh (Ghana)
2 0.01%.ge (Georgia)
1 0.01%.as (American Samoa)
3 .lv (Latvia)
2 .ir (Iran)
1 .sk (Slovakia)
1 .kz (Kazakhstan)
1 .er (Eritrea)
4 .lb (Lebanon)
6 .us (United States)
4 .hu (Hungary)
1 .lu (Luxembourg)
3 .biz (Businesses)
3 .st (Saint Tome and Principe)
1 .ly (Libya)
4 .ae (United Arab Emirates)
3 .bn (Brunei Darussalam)
3 .cl (Chile)
1 .lt (Lithuania)
1 .ng (Nigeria)

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
280018.22%amazonaws.com
1284 7.62%msn.com
1002 4.08%baidu.com
76116.54%bluechipbacklinks.com
71111.54%princeton.edu
574 2.23%[domain not given]
489 2.56%your-server.de
416 1.67%yandex.com
313 0.45%114
233 1.21%[unknown domain]
205 0.12%sogou.com
191 1.27%virginm.net
184 0.92%41
169 0.15%mail.ru
151 0.51%14
128 0.42%btcentralplus.com
109 0.02%4
104 0.55%5
97 0.63%117
95 0.65%103
648328.64%[not listed: 1,037 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
63software
58engineering
55pdf
37notes
29equivalence
25for
18in
15classes
14set
13diploma
12of
12r
12class
10download
9proof
9prove
9and
8is
8computer
7students
7definition
6if
6pearl
6theory
6property
6then
6protocol
6u
6v
6x
243[not listed: 120 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
146242271OS unknown
257761585Windows
 2114750  Windows NT
 3221676  Unknown Windows
 395131  Windows XP
 2510  Windows Server 2003
 66  Windows 95
 66  Windows 98
 96  Windows 2000
31783673Known robots
42284646Unix
 2258641  Linux
 22  SunOS
 22  OSF1
 101  Other Unix
 120  BSD
52005628Macintosh
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
13496200 OK
2440206 Partial content
104301 Document moved permanently
563304 Not modified since last retrieval
45403 Access forbidden
511404 Document not found
1416 Requested range not valid

File Size Report

(Go To: Top | General Summary | Daily Summary | Domain Report | Organisation Report | Search Word Report | Operating System Report | Status Code Report | File Size Report | File Type Report | Request Report)

This report lists the sizes of files.

sizereqs%bytes
01103 
1B- 10B3 
11B- 100B1 
101B- 1kB286 
1kB- 10kB3784 0.31%
10kB-100kB5526 4.14%
100kB- 1MB519636.80%
1MB- 10MB54027.43%
10MB-100MB6031.32%

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
855459.57%.pdf [Adobe Portable Document Format]
23528.87%.gz [Gzip compressed files]
15028.69%  .tar.gz [Compressed archives]
69 8.48%.tbz
918 1.06%.jpg [JPEG graphics]
4024 0.55%[directories]
5 0.50%.tgz
4 0.40%.zip [Zip archives]
1796 0.34%.html [Hypertext Markup Language]
894 0.22%[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
129311.94%28/Sep/16 16:03/~lp15/papers/Notes/SE-I.pdf
826 0.15%28/Sep/16 16:39/~lp15/
510 0.02%28/Sep/16 16:03/~lp15/MLbook/
427 0.56%28/Sep/16 16:39/~lp15/images/larry-home-small.jpg
421 3.91%28/Sep/16 15:45/~lp15/papers/Reports/equivclasses-slides.pdf
387 0.38%28/Sep/16 16:39/~lp15/images/acm-logo.jpg
302 6.87%28/Sep/16 15:05/~lp15/Sue/Thesis.pdf
282 0.78%28/Sep/16 13:53/~lp15/papers/Notes/Founds-FP.pdf
237 3.08%26/Sep/16 18:55/~lp15/papers/Reports/thesis.pdf
231 0.94%28/Sep/16 11:30/~lp15/papers/Reports/equivclasses.pdf
219 0.01%28/Sep/16 14:33/~lp15/MLbook/programs/
211 0.04%28/Sep/16 11:23/~lp15/papers/Arith/
199 1.28%28/Sep/16 09:26/~lp15/papers/Formath/Goedel-ar.pdf
176 0.14%28/Sep/16 09:26/~lp15/papers/refereed.html
166 0.03%28/Sep/16 04:27/~lp15/Sue/
145 0.15%28/Sep/16 07:52/~lp15/papers/Reports/mutil.pdf
142 0.63%28/Sep/16 08:22/~lp15/papers/Formath/Residue-theorem.pdf
140 0.43%28/Sep/16 07:50/~lp15/papers/Isabelle/fleuriot-kepler.pdf
138 28/Sep/16 09:09/~lp15/MLbook/exercises/
137 0.01%28/Sep/16 14:33/~lp15/MLbook/programs/sample2.sml
124 0.02%28/Sep/16 05:55/~lp15/Grants/AutoPolyFun/
103 0.58%28/Sep/16 07:49/~lp15/papers/Auth/jcs.pdf
100 0.01%28/Sep/16 15:11/~lp15/papers/Automation/
93 0.02%28/Sep/16 04:28/~lp15/papers/Auth/
91 0.02%28/Sep/16 15:36/~lp15/Grants/SET/
89 0.01%28/Sep/16 14:46/~lp15/papers/lecture-courses.html
87 0.01%28/Sep/16 04:33/~lp15/Pages/cv.html
86 0.25%28/Sep/16 05:22/~lp15/papers/Auth/tls.pdf
85 0.02%28/Sep/16 04:29/~lp15/papers/Formath/
85 0.12%27/Sep/16 03:38/~lp15/papers/Auth/SET-overview-2002.pdf
84 28/Sep/16 12:13/~lp15/MLbook/pub-details.html
84 0.45%28/Sep/16 08:10/~lp15/papers/Arith/Sogokon-nfm14.pdf
83 0.01%28/Sep/16 09:35/~lp15/papers/Reports/
79 0.01%28/Sep/16 04:27/~lp15/MLbook/ERRATA.html
79 0.13%28/Sep/16 06:10/~lp15/papers/Auth/lics.pdf
75 0.01%28/Sep/16 04:28/~lp15/Grants/LEO-II/
71 0.13%28/Sep/16 08:10/~lp15/papers/Formath/Goedel-logic.pdf
71 0.60%27/Sep/16 08:32/~lp15/Pages/Munich-slides.pdf
70 0.08%28/Sep/16 04:30/~lp15/Usage/
70 0.13%27/Sep/16 09:55/~lp15/Pages/vita.pdf
69 28/Sep/16 04:26/~lp15/Grants/
68 0.01%28/Sep/16 16:40/~lp15/archive/
68 0.32%28/Sep/16 07:47/~lp15/papers/Formath/set-I.pdf
65 0.01%27/Sep/16 01:13/~lp15/images/
65 0.18%28/Sep/16 08:09/~lp15/papers/Formath/automata.pdf
65 0.01%28/Sep/16 04:28/~lp15/papers/Isabelle/
64 0.26%28/Sep/16 15:02/~lp15/papers/Automation/filtering.pdf
64 0.23%28/Sep/16 08:11/~lp15/papers/Automation/sultana-pfreconstruction.pdf
64 0.21%28/Sep/16 08:54/~lp15/papers/Reports/TPHOLs05.pdf
64 26/Sep/16 21:00/~lp15/MLbook/StandardML.plist
64 0.01%28/Sep/16 09:09/~lp15/MLbook/exercises/exer2.html
64 0.01%28/Sep/16 04:25/~lp15/papers/workshop.html
61 0.20%28/Sep/16 08:11/~lp15/papers/Formath/Greens-theorem.pdf
60 0.01%28/Sep/16 09:34/~lp15/papers/
60 0.01%28/Sep/16 04:26/~lp15/Grants/Automation/
59 0.29%27/Sep/16 21:58/~lp15/papers/Bella/accountability.pdf
58 0.01%28/Sep/16 06:10/~lp15/papers/hol.html
58 0.30%28/Sep/16 08:26/~lp15/papers/Bella/smartcards-jcs.pdf
57 28/Sep/16 08:58/~lp15/MLbook/general.html
56 28/Sep/16 07:53/~lp15/Grants/BeyondLinArith/
56 0.13%28/Sep/16 08:11/~lp15/papers/Arith/Huang-3heuristics.pdf
55 0.14%28/Sep/16 16:05/~lp15/papers/Bella/esorics98.pdf
55 0.01%28/Sep/16 04:27/~lp15/papers/invited.html
53 28/Sep/16 04:27/~lp15/Pages/CL-English.html
52 0.21%28/Sep/16 08:10/~lp15/papers/Reports/Bridge-ml.pdf
52 0.01%28/Sep/16 10:40/~lp15/MLbook/review.html
52 28/Sep/16 16:21/~lp15/MLbook/programs/ROOT.sml
52 0.17%26/Sep/16 05:41/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
51 0.02%28/Sep/16 11:24/~lp15/MLbook/exercises/exer3.html
51 27/Sep/16 23:51/~lp15/SpryAssets/
51 1.36%27/Sep/16 19:27/~lp15/papers/Auth/lics-slides.pdf
51 2.08%28/Sep/16 14:07/~lp15/papers/Arith/FroCos-presentation.pdf
50 28/Sep/16 06:54/~lp15/MLbook/first/
50 0.15%28/Sep/16 08:06/~lp15/papers/Automation/meng-termination.pdf
49 25/Sep/16 08:59/~lp15/Pages/
49 28/Sep/16 16:25/~lp15/papers/Notes/
49 0.01%28/Sep/16 04:29/~lp15/papers/recur.html
49 0.02%26/Sep/16 19:04/~lp15/Usage/images/
49 26/Sep/16 20:05/~lp15/css/
48 28/Sep/16 12:50/~lp15/papers/books.html
47 0.21%28/Sep/16 07:53/~lp15/papers/Formath/reflection-slides.pdf
47 0.09%28/Sep/16 08:08/~lp15/papers/Arith/Narayanan DATE.pdf
46 28/Sep/16 11:23/~lp15/papers/Arith/download.html
46 0.12%28/Sep/16 14:41/~lp15/papers/Bella/nonrepudiation.pdf
46 0.28%28/Sep/16 08:07/~lp15/papers/Arith/calculemus2008.pdf
46 0.11%27/Sep/16 14:31/~lp15/papers/Automation/paar.pdf
45 28/Sep/16 07:45/~lp15/papers/UNITY/
45 26/Sep/16 20:06/~lp15/papers/Bella/
45 0.03%28/Sep/16 04:33/~lp15/images/pilkington.jpg
45 0.02%27/Sep/16 16:58/~lp15/Sue/Sue Paulson.jpg
45 0.01%27/Sep/16 06:19/~lp15/MLbook/programs/sample5.sml
45 0.14%28/Sep/16 09:15/~lp15/papers/Arith/Hscc09.pdf
45 0.12%28/Sep/16 08:08/~lp15/papers/Automation/cade2011-sledge-smt.pdf
44 0.14%28/Sep/16 07:47/~lp15/papers/Formath/AC.pdf
44 0.09%28/Sep/16 08:11/~lp15/papers/Auth/multicast_verification.pdf
44 0.10%28/Sep/16 07:50/~lp15/papers/Isabelle/aisc98.pdf
44 0.01%28/Sep/16 06:19/~lp15/MLbook/programs/sample3.sml
43 0.01%26/Sep/16 16:39/~lp15/MLbook/programs/sample8-2004.sml
42 0.08%28/Sep/16 08:16/~lp15/papers/Isabelle/chap700.pdf
42 0.11%28/Sep/16 10:35/~lp15/Pages/harrison-real.pdf
42 28/Sep/16 16:06/~lp15/papers/Workshop/
42 0.07%28/Sep/16 12:31/~lp15/papers/Automation/thf-sledge.pdf
41 0.10%28/Sep/16 08:07/~lp15/papers/Arith/lpar2007.pdf
41 0.12%28/Sep/16 08:10/~lp15/papers/Automation/jar-smt.pdf
41 0.01%28/Sep/16 07:56/~lp15/MLbook/exercises/exer8.html
40 0.21%28/Sep/16 10:01/~lp15/papers/UNITY/composition.pdf
40 28/Sep/16 06:14/~lp15/Data/
40 0.06%28/Sep/16 16:06/~lp15/papers/Workshop/friedrich.pdf
39 27/Sep/16 13:09/~lp15/tmp/
39 0.07%28/Sep/16 08:12/~lp15/papers/UNITY/tphols01.pdf
39 0.04%28/Sep/16 07:45/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
39 26/Sep/16 01:07/~lp15/Templates/
38 0.10%28/Sep/16 08:05/~lp15/papers/Automation/translations.pdf
38 28/Sep/16 04:26/~lp15/papers/Arith/qepcad-for-mac.html
38 0.10%28/Sep/16 07:53/~lp15/papers/Bella/registration.pdf
38 0.14%28/Sep/16 07:53/~lp15/papers/Formath/reflection.pdf
38 0.01%28/Sep/16 16:28/~lp15/Grants/UNITY/
37 25/Sep/16 12:04/~lp15/papers/Reviews/
37 0.04%28/Sep/16 07:45/~lp15/papers/Reports/CADE9.pdf
37 0.12%28/Sep/16 07:53/~lp15/papers/Bella/certified-email.pdf
36 0.02%28/Sep/16 03:48/~lp15/papers/Reviews/MLer.pdf
36 0.25%28/Sep/16 07:34/~lp15/papers/Arith/MetiTarski-jar.pdf
36 0.08%28/Sep/16 08:08/~lp15/papers/Arith/fmcad2009.pdf
35 0.01%28/Sep/16 14:41/~lp15/Grants/holisa.html
35 0.01%26/Sep/16 14:32/~lp15/MLbook/programs/sample4.sml
34 0.07%28/Sep/16 07:52/~lp15/papers/UNITY/ehmety-composition.pdf
34 10/Sep/16 23:24/~lp15/papers/Ballarin/
34 0.09%28/Sep/16 07:52/~lp15/papers/Isabelle/blast.pdf
33 0.15%28/Sep/16 08:07/~lp15/papers/Automation/translations-jar.pdf
33 25/Sep/16 09:52/~lp15/papers/Deduction/
33 0.08%27/Sep/16 12:59/~lp15/Grants/AutoPolyFun/case.pdf
33 0.06%28/Sep/16 12:08/~lp15/papers/Bella/purchase.pdf
32 0.09%28/Sep/16 05:49/~lp15/papers/Reports/blast.pdf
32 0.05%28/Sep/16 08:06/~lp15/papers/Arith/pdpar2006.pdf
32 0.09%28/Sep/16 07:52/~lp15/papers/Formath/milner-ind-defs.pdf
31 0.13%28/Sep/16 08:04/~lp15/papers/Auth/SET-overview-IJIS.pdf
31 0.29%28/Sep/16 08:05/~lp15/papers/Bella/purchase-JAR.pdf
31 0.05%28/Sep/16 07:46/~lp15/papers/Reports/CADE11.pdf
31 0.18%28/Sep/16 15:19/~lp15/papers/Workshop/papers/rasmussen.pdf
31 0.27%28/Sep/16 08:05/~lp15/papers/Automation/info-and-comp.pdf
30 0.01%28/Sep/16 03:59/~lp15/MLbook/exercises/exer4.html
30 27/Sep/16 21:39/~lp15/MLbook/disclaimer.html
30 0.07%28/Sep/16 00:14/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
30 0.06%28/Sep/16 07:49/~lp15/papers/Bella/cav98.pdf
30 0.04%27/Sep/16 21:35/~lp15/Sue/Cultures of Dance.ppt
30 0.01%28/Sep/16 14:26/~lp15/MLbook/exercises/exer6.html
30 28/Sep/16 07:55/~lp15/Pages/projects.html
30 0.10%28/Sep/16 16:28/~lp15/papers/UNITY/Mechanizing-compositional.pdf
30 0.06%27/Sep/16 16:40/~lp15/papers/Arith/ITP-2012-invited.pdf
30 0.14%28/Sep/16 07:47/~lp15/papers/Formath/set-II.pdf
29 28/Sep/16 08:07/~lp15/Data/ho-translations/
29 0.01%27/Sep/16 18:51/~lp15/MLbook/programs/sample9.sml
29 0.05%27/Sep/16 16:18/~lp15/papers/Workshop/papers/kalvala-linear.pdf
29 0.08%28/Sep/16 07:51/~lp15/papers/Isabelle/coding.pdf
29 27/Sep/16 11:26/~lp15/papers/Arith/atan-problem-1-weak.html
29 27/Sep/16 19:44/~lp15/Pages/Scream.html
28 0.01%27/Sep/16 01:12/~lp15/MLbook/programs/sample10.sml
28 0.12%22/Sep/16 03:30/~lp15/papers/Notes/MOD-slides.pdf
28 0.01%28/Sep/16 01:04/~lp15/MLbook/exercises/exer7.html
28 0.01%28/Sep/16 16:40/~lp15/Pages/ACS-proposals.html
27 0.04%27/Sep/16 04:57/~lp15/papers/Arith/FroCoS-2013-invited.pdf
27 0.04%28/Sep/16 07:48/~lp15/papers/Auth/auth-slides.pdf
27 0.17%28/Sep/16 08:06/~lp15/papers/Automation/reconstruction.pdf
27 0.02%27/Sep/16 16:38/~lp15/papers/Reviews/construct.pdf
27 0.36%24/Sep/16 04:53/~lp15/papers/Reports/ref97.pdf
27 28/Sep/16 08:08/~lp15/Data/relevance/
26 0.05%28/Sep/16 07:51/~lp15/papers/Formath/final.pdf
26 0.01%26/Sep/16 04:42/~lp15/MLbook/exercises/exer5.html
26 0.15%28/Sep/16 09:02/~lp15/papers/Automation/filtering-jal.pdf
26 0.03%28/Sep/16 16:04/~lp15/papers/Auth/yahalom.pdf
26 0.05%26/Sep/16 19:45/~lp15/papers/Auth/ijcar2001.pdf
26 0.06%28/Sep/16 07:49/~lp15/papers/Isabelle/fleuriot-princip-CADE.pdf
25 0.01%25/Sep/16 18:18/~lp15/MLbook/programs/sample8.sml
25 0.03%27/Sep/16 14:25/~lp15/Grants/LEO-II/leo2-case.pdf
25 18/Sep/16 17:35/~lp15/MLbook/first/programs/
25 0.06%28/Sep/16 01:47/~lp15/papers/Workshop/papers/thompson.pdf
25 0.07%28/Sep/16 08:03/~lp15/papers/Automation/IJCAR2004.pdf
25 0.05%28/Sep/16 07:39/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
25 0.33%28/Sep/16 08:06/~lp15/papers/Automation/reconstruction-slides.pdf
25 0.02%25/Sep/16 22:53/~lp15/papers/Arith/NFM2014-invited.pdf
25 0.13%28/Sep/16 08:03/~lp15/papers/Formath/constructible-slides.pdf
24 0.04%27/Sep/16 05:45/~lp15/papers/Reports/Descent of BAN.pdf
24 0.85%27/Sep/16 23:46/~lp15/Sue/Phd-Poster.pdf
24 0.08%25/Sep/16 05:11/~lp15/papers/Arith/SNC2014-invited.pdf
23 0.01%25/Sep/16 00:58/~lp15/MLbook/programs/test10.sml
23 0.02%28/Sep/16 07:45/~lp15/papers/paulson.bib
23 28/Sep/16 09:34/~lp15/MLbook/first/programs/Lambda.ML
23 0.03%22/Sep/16 03:39/~lp15/papers/Notes/leeds-notes.pdf
23 0.18%27/Sep/16 00:44/~lp15/papers/Reports/intro-to-isabelle.pdf
23 0.04%22/Sep/16 19:25/~lp15/papers/Formath/constructible-abstract.pdf
22 0.01%26/Sep/16 09:20/~lp15/MLbook/programs/sample7.sml
22 0.05%28/Sep/16 08:09/~lp15/papers/Arith/case-splitting.pdf
22 0.05%28/Sep/16 07:49/~lp15/papers/Bella/dimacs97.pdf
22 0.06%26/Sep/16 15:27/~lp15/papers/Notes/strategy.pdf
22 1.36%26/Sep/16 18:22/~lp15/papers/Arith/ITP 2012 presentation.pdf
22 0.07%28/Sep/16 07:52/~lp15/papers/Bella/esorics2000.pdf
22 0.03%28/Sep/16 03:55/~lp15/papers/Auth/security-protocols.pdf
21 26/Sep/16 08:02/~lp15/Grants/auth.html
21 0.28%28/Sep/16 08:04/~lp15/papers/Reports/TypeClasses.pdf
21 0.11%28/Sep/16 05:03/~lp15/papers/UNITY/UNITY.pdf
21 28/Sep/16 03:14/~lp15/MLbook/first/programs/Functions.ML
21 0.03%28/Sep/16 07:48/~lp15/papers/Auth/recur-slides.pdf
20 28/Sep/16 07:56/~lp15/Grants/arith.html
20 25/Sep/16 21:56/~lp15/MLbook/programs/notes.html
20 0.04%28/Sep/16 16:07/~lp15/papers/Workshop/papers/ayari.pdf
20 0.13%28/Sep/16 07:51/~lp15/papers/Auth/tls-slides.pdf
20 0.02%25/Sep/16 09:54/~lp15/Grants/Automation/case.pdf
20 0.07%24/Sep/16 23:38/~lp15/papers/Formath/Goedel-logic-mine.pdf
20 28/Sep/16 10:34/~lp15/papers/Workshop/participants.html
19 0.29%23/Sep/16 10:36/~lp15/Grants/Automation/poster.pdf
19 0.01%28/Sep/16 07:47/~lp15/papers/Formath/AC-slides.pdf
19 0.03%27/Sep/16 16:49/~lp15/Grants/Automation/final.pdf
19 0.34%28/Sep/16 08:07/~lp15/papers/Arith/metit-slides.pdf
19 0.11%28/Sep/16 01:12/~lp15/papers/Reports/fleuriot-kepler.pdf
19 0.60%28/Sep/16 04:23/~lp15/papers/Arith/SNC2014-slides.pdf
19 19/Sep/16 04:05/~lp15/MLbook/programs/sample3-old.sml
18 0.23%21/Sep/16 12:08/~lp15/papers/Reports/popl82.pdf
18 0.01%26/Sep/16 17:41/~lp15/MLbook/first/ML-syntax.ps.gz
18 0.10%28/Sep/16 04:06/~lp15/papers/Auth/SET-document.pdf
18 0.04%28/Sep/16 08:07/~lp15/papers/Automation/leo2-ijcar.pdf
18 0.06%27/Sep/16 08:28/~lp15/papers/Workshop/papers/nipkow.pdf
18 0.01%23/Sep/16 10:20/~lp15/MLbook/programs/sample10-old.sml
18 0.25%28/Sep/16 08:04/~lp15/papers/Reports/TypeClasses-slides.pdf
18 0.17%28/Sep/16 00:32/~lp15/Grants/BeyondLinArith/arith-case.pdf
18 0.16%24/Sep/16 04:30/~lp15/papers/Auth/SET-overview-slides.pdf
18 0.02%28/Sep/16 14:39/~lp15/papers/Workshop/kammueller.pdf
18 0.12%26/Sep/16 12:58/~lp15/papers/Reports/logics97.pdf
18 21/Sep/16 08:13/~lp15/papers/OLD.SETS/
18 1.02%24/Sep/16 05:54/~lp15/papers/Notes/LCF+.pdf
18 27/Sep/16 12:53/~lp15/Grants/Chaieb.html
18 0.21%28/Sep/16 00:37/~lp15/papers/Arith/NFM2014-slides.pdf
18 28/Sep/16 13:42/~lp15/MLbook/exercises/disclaimer.html
18 28/Sep/16 16:06/~lp15/papers/Workshop/programme.html
17 28/Sep/16 07:47/~lp15/papers/Formath/ind-defs-slides.pdf
17 19/Sep/16 22:33/~lp15/papers/Workshop/thompson.html
17 0.08%28/Sep/16 08:09/~lp15/papers/Arith/cicm2012.pdf
17 0.51%28/Sep/16 01:50/~lp15/Sue/Thesis-Appendices.pdf
16 23/Sep/16 17:19/~lp15/papers/Workshop/staples.html
16 0.44%27/Sep/16 14:35/~lp15/Grants/BeyondLinArith/arith-poster.pdf
16 0.20%28/Sep/16 08:12/~lp15/papers/Isabelle/Cube-presentation.pdf
16 26/Sep/16 16:38/~lp15/MLbook/programs/sample9-2004.sml
16 22/Sep/16 23:45/~lp15/papers/Workshop/agerholm.html
16 26/Sep/16 04:09/~lp15/Grants/temporal.html
16 0.06%28/Sep/16 07:50/~lp15/papers/Isabelle/sylow.pdf
16 27/Sep/16 09:42/~lp15/MLbook/first/programs/Imperative.ML
15 27/Sep/16 06:33/~lp15/MLbook/first/programs/ParsePrint.ML
15 26/Sep/16 04:41/~lp15/papers/Workshop/kalvala.html
15 0.01%22/Sep/16 03:44/~lp15/papers/Notes/strategy-slides.pdf
15 18/Sep/16 16:26/~lp15/papers/Workshop/matthews.html
15 0.02%19/Sep/16 04:02/~lp15/papers/Arith/Overcoming.pdf
15 0.15%21/Sep/16 21:51/~lp15/papers/Deduction/lecture1.pdf
15 25/Sep/16 23:27/~lp15/papers/Workshop/paulson.html
15 0.04%28/Sep/16 01:44/~lp15/papers/Workshop/papers/voelker.pdf
15 0.24%22/Sep/16 03:20/~lp15/papers/Notes/formalizing-abst-slides.pdf
15 0.04%28/Sep/16 06:43/~lp15/papers/Workshop/papers/matthews.pdf
15 0.02%28/Sep/16 05:20/~lp15/papers/Workshop/vigano.pdf
15 0.08%27/Sep/16 02:52/~lp15/Data/relevance/tptp-2007-03-13.tbz
15 0.05%28/Sep/16 07:51/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
15 0.17%28/Sep/16 08:03/~lp15/papers/Bella/TPHOLs03-slides.pdf
14 0.04%28/Sep/16 08:09/~lp15/papers/Arith/case-splitting-stats.csv
14 25/Sep/16 04:13/~lp15/MLbook/programs/sample8-old.sml
14 0.01%28/Sep/16 07:49/~lp15/papers/Isabelle/blast-slides.pdf
14 0.58%19/Sep/16 03:58/~lp15/Grants/LEO-II/leo project poster.pdf
14 27/Sep/16 05:53/~lp15/MLbook/first/programs/Modules.ML
14 0.01%14/Sep/16 21:12/~lp15/Grants/UNITY/case.pdf
14 0.84%20/Sep/16 10:10/~lp15/papers/Formath/Goedel-slides.pdf
14 0.18%20/Sep/16 21:35/~lp15/papers/Auth/dagstuhl2003-slides.pdf
14 0.25%19/Sep/16 16:02/~lp15/papers/Auth/ijcar2001-slides.pdf
14 0.04%28/Sep/16 10:49/~lp15/papers/Workshop/papers/agerholm.pdf
13 28/Sep/16 05:04/~lp15/papers/Workshop/nipkow.html
13 0.22%26/Sep/16 05:31/~lp15/papers/Auth/dagstuhl2001-slides.pdf
13 26/Sep/16 20:06/~lp15/papers/Workshop/bednarczyk.txt
13 0.03%22/Sep/16 14:19/~lp15/papers/Workshop/papers/benini.pdf
13 27/Sep/16 06:25/~lp15/MLbook/first/programs/Lists-Trees.ML
13 0.01%28/Sep/16 13:45/~lp15/Grants/SET/case.pdf
13 0.09%20/Sep/16 15:52/~lp15/papers/Automation/Huet colloquium.pdf
13 0.60%19/Sep/16 04:02/~lp15/papers/Arith/Overcoming-slides.pdf
13 22/Sep/16 01:11/~lp15/papers/Workshop/futures.html
13 25/Sep/16 11:37/~lp15/Sue/Cultures of Dance.html
13 24/Sep/16 21:57/~lp15/papers/Workshop/wolff.html
12 0.15%28/Sep/16 08:03/~lp15/papers/Formath/constructible-theory.pdf
12 0.13%22/Sep/16 01:25/~lp15/papers/Formath/Future of formalised maths.pdf
12 0.02%28/Sep/16 03:34/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
12 0.03%28/Sep/16 15:15/~lp15/papers/Workshop/papers/owens.pdf
12 0.11%28/Sep/16 00:49/~lp15/papers/Deduction/lecture3.pdf
11 28/Sep/16 02:08/~lp15/Grants/BeyondLinArith/auth-final.pdf
11 2.61%27/Sep/16 00:37/~lp15/Data/relevance/tptp-2007-03-13-raw.tbz
11 0.06%28/Sep/16 01:32/~lp15/papers/Workshop/papers/kammueller.pdf
10 0.01%23/Sep/16 08:40/~lp15/Sue/Cultures of Dance.pdf
10 27/Sep/16 14:52/~lp15/MLbook/first/ERRATA3.txt
10 0.02%24/Sep/16 10:31/~lp15/papers/Workshop/papers/staples.pdf
10 0.02%23/Sep/16 00:37/~lp15/Grants/Chaieb-case.pdf
10 28/Sep/16 00:43/~lp15/Grants/UNITY/final.pdf
10 23/Sep/16 04:52/~lp15/papers/Workshop/heule.html
10 0.02%27/Sep/16 02:42/~lp15/papers/Isabelle/Goedel-logic.pdf
10 27/Sep/16 04:57/~lp15/papers/Arith/RELEASE-NOTES.txt
10 0.02%28/Sep/16 04:04/~lp15/papers/Ballarin/aisc98.pdf
10 25/Sep/16 21:53/~lp15/MLbook/first/ERRATA1.txt
10 3.48%26/Sep/16 22:01/~lp15/archive/Isabelle2009-1.tar.gz
10 28/Sep/16 16:26/~lp15/Data/relevance/unfiltered-vampire.txt
10 27/Sep/16 06:25/~lp15/MLbook/first/programs/Hal.ML
9 0.07%28/Sep/16 04:33/~lp15/images/pilkington-full.jpg
9 0.05%23/Sep/16 04:20/~lp15/papers/Workshop/papers/bednarczyk.pdf
9 0.03%25/Sep/16 22:16/~lp15/papers/Workshop/papers/vigano.pdf
8 28/Sep/16 16:06/~lp15/Grants/SET/final.pdf
8 0.56%26/Sep/16 16:39/~lp15/Data/ho-translations/Abst.tbz
8 0.05%24/Sep/16 20:48/~lp15/papers/Deduction/lecture2.pdf
8 2.87%27/Sep/16 22:51/~lp15/Data/ho-translations/f-abst-opt-unfiltered-tptp.tbz
8 21/Sep/16 21:47/~lp15/Data/relevance/unfiltered-spass.txt
8 0.04%28/Sep/16 09:21/~lp15/papers/Reports/lamport-paulson-types.pdf
8 0.08%24/Sep/16 13:41/~lp15/papers/Automation/h4qed-clean.pdf
8 26/Sep/16 01:16/~lp15/MLbook/first/ERRATA2.txt
8 0.02%25/Sep/16 18:10/~lp15/papers/Ballarin/coding.pdf
7 26/Sep/16 01:07/~lp15/papers/Workshop/front.pdf
7 2.78%24/Sep/16 07:18/~lp15/archive/Isabelle2009-2.tar.gz
7 0.51%19/Sep/16 22:24/~lp15/Data/ho-translations/Comb.tbz
7 26/Sep/16 08:05/~lp15/Data/ho-translations/Abstraction__map_eq_zipA_1.tbz
7 27/Sep/16 21:42/~lp15/papers/Workshop/owens.txt
7 26/Sep/16 08:04/~lp15/MLbook/first/programs/edits.txt
7 18/Sep/16 17:35/~lp15/MLbook/first/answers1-5.txt.gz
7 0.06%24/Sep/16 05:36/~lp15/papers/Deduction/lecture4.pdf
7 0.59%18/Sep/16 22:10/~lp15/archive/Isabelle2003.tar.gz
7 0.06%23/Sep/16 20:17/~lp15/Grants/arith-case.pdf
6 0.83%18/Sep/16 00:44/~lp15/archive/Isabelle2009.tar.gz
6 0.36%27/Sep/16 16:51/~lp15/archive/Isabelle99-1.tar.gz
6 0.35%28/Sep/16 05:29/~lp15/papers/Isabelle/Goedel-slides.pdf
6 2.46%20/Sep/16 04:48/~lp15/archive/Isabelle2011.tar.gz
6 25/Sep/16 16:44/~lp15/Data/ho-translations/Theories.tbz
6 26/Sep/16 18:55/~lp15/MLbook/first/ML-syntax.dvi.gz
6 18/Sep/16 10:25/~lp15/Grants/temporal-final.pdf
6 0.01%24/Sep/16 17:48/~lp15/archive/Isabelle89.tar.gz
6 0.14%22/Sep/16 23:23/~lp15/Grants/arith-poster.pdf
6 28/Sep/16 14:41/~lp15/Data/relevance/unfiltered-E.txt
6 0.01% 9/Sep/16 21:21/~lp15/papers/Workshop/ayari.pdf
6 0.52%28/Sep/16 02:02/~lp15/archive/Isabelle2004.tar.gz
5 0.45%17/Sep/16 01:33/~lp15/archive/Isabelle2005.tar.gz
5 18/Sep/16 17:35/~lp15/MLbook/first/answers8.txt.gz
5 0.01%23/Sep/16 14:46/~lp15/archive/Isabelle86.tar.gz
5 2.51%23/Sep/16 16:43/~lp15/archive/Isabelle2014.tar.gz
5 0.02% 5/Sep/16 04:59/~lp15/archive/Isabelle91.tar.gz
5 28/Sep/16 07:33/~lp15/images/larry-paulson.jpg
5 2.69%26/Sep/16 19:39/~lp15/archive/Isabelle2015.tar.gz
5 0.04%24/Sep/16 17:18/~lp15/papers/Isabelle/Goedel-ar.pdf
5 0.50% 9/Sep/16 17:53/~lp15/papers/Arith/metit.tgz
5 0.02%24/Sep/16 18:25/~lp15/papers/OLD.SETS/reflection-slides.pdf
5 1.68%26/Sep/16 02:56/~lp15/Data/ho-translations/f-comb-opt-unfiltered-tptp.tbz
5 21/Sep/16 10:07/~lp15/MLbook/ERRATA.txt
19112.89%28/Sep/16 15:45[not listed: 63 files]