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

Program started at Mon-16-Feb-2015 12:20.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-16-Feb-2015 12:09 (102.88 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 16-Feb-2015 12:20.

Successful requests: 17,308 (3,619)
Average successful requests per day: 168 (516)
Successful requests for pages: 5,115 (926)
Average successful requests for pages per day: 49 (132)
Failed requests: 1,057 (255)
Redirected requests: 286 (179)
Distinct files requested: 400 (280)
Distinct hosts served: 3,541 (848)
Corrupt logfile lines: 27
Unwanted logfile entries: 12,377
Data transferred: 3.78 gigabytes (882.38 megabytes)
Average data transferred per day: 37.66 megabytes (126.05 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 
Sun2331663+++++++++++++++++++++++
Mon31571264+++++++++++++++++++++++++++++++++++++++++++
Tue2180494+++++++++++++++++
Wed2106558+++++++++++++++++++
Thu2323708++++++++++++++++++++++++
Fri2828728+++++++++++++++++++++++++
Sat2383700++++++++++++++++++++++++

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
597137.11%[unresolved numerical addresses]
413823.33%.com (Commercial)
169212.17%.net (Networks)
568 3.91%.de (Germany)
422 3.10%.in (India)
462 3.00%[domain not given]
19 2.68%.at (Austria)
871 2.51%.uk (United Kingdom)
378 2.32%[unknown domain]
615 1.75%.edu (USA Higher Education)
84 0.70%.pk (Pakistan)
131 0.61%.it (Italy)
147 0.46%.pl (Poland)
53 0.37%.zw (Zimbabwe)
113 0.36%.cn (China)
111 0.35%.ke (Kenya)
349 0.30%.ru (Russia)
47 0.30%.gh (Ghana)
62 0.29%.nl (Netherlands)
64 0.28%.gr (Greece)
73 0.27%.ca (Canada)
60 0.24%.br (Brazil)
58 0.22%.th (Thailand)
72 0.22%.mx (Mexico)
26 0.21%.il (Israel)
26 0.18%.ch (Switzerland)
55 0.18%.jp (Japan)
53 0.16%.fr (France)
8 0.14%.ly (Libya)
24 0.14%.ie (Ireland)
22 0.13%.tr (Turkey)
9 0.12%.np (Nepal)
49 0.10%.cm (Cameroon)
37 0.10%.au (Australia)
15 0.10%.cz (Czech Republic)
24 0.10%.vn (Vietnam)
6 0.09%.rw (Rwanda)
18 0.09%.ug (Uganda)
36 0.09%.sg (Singapore)
12 0.09%.kr (South Korea)
33 0.09%.pt (Portugal)
15 0.07%.fi (Finland)
7 0.07%.ph (Philippines)
8 0.06%.nz (New Zealand)
23 0.06%.es (Spain)
1 0.06%.md (Moldova)
19 0.05%.se (Sweden)
8 0.05%.id (Indonesia)
4 0.05%.lk (Sri Lanka)
13 0.05%.dk (Denmark)
5 0.05%.za (South Africa)
16 0.05%.mu (Mauritius)
3 0.05%.al (Albania)
3 0.05%.az (Azerbaijan)
11 0.04%.ir (Iran)
15 0.04%.lu (Luxembourg)
19 0.04%.ro (Romania)
19 0.03%.org (Non Profit Making Organisations)
9 0.03%.no (Norway)
2 0.03%.tz (Tanzania)
6 0.03%.be (Belgium)
7 0.02%.ar (Argentina)
6 0.02%.ee (Estonia)
8 0.01%.hk (Hong Kong)
13 0.01%.bg (Bulgaria)
18 0.01%.co (Colombia)
4 0.01%.hr (Croatia)
3 .mil (USA Military)
1 .uz (Uzbekistan)
6 .cy (Cyprus)
1 .us (United States)
12 .arpa (Arpanet)
3 .hu (Hungary)
1 .by (Belarus)
2 .ye (Yemen)
3 .sa (Saudi Arabia)
1 .info (Informational)

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
1155 5.94%msn.com
610 0.32%37
594 1.43%cam.ac.uk
562 4.19%yandex.com
505 4.78%amazonaws.com
462 3.00%[domain not given]
378 2.32%[unknown domain]
372 2.49%117
356 2.37%41
278 1.56%your-server.de
223 0.23%123
203 1.10%14
194 3.97%199.16
191 1.11%virginm.net
182 0.49%comcast.net
182 page2rss.com
172 0.46%rr.com
160 3.15%opera-mini.net
151 2.48%google.com
149 0.12%mail.ru
1022958.50%[not listed: 1,088 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
190software
182engineering
178pdf
123notes
58on
49and
46computer
41of
31x
29in
29the
29relation
28if
28y
26~
23a
22equivalence
21for
20is
19engineer
19case
19by
18functions
17that
16book
16show
16classes
15tools
15lecture
15an
793[not listed: 286 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
187021856Windows
 74071496  Unknown Windows
 1266346  Windows XP
 1510  Windows 2000
 22  Windows 98
 51  Windows NT
 71  Windows Server 2003
234851572OS unknown
32171642Unix
 2161638  Linux
 64  Other Unix
 40  BSD
42151609Macintosh
5699411Known robots
6161Symbian 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
11006200 OK
5621206 Partial content
286301 Document moved permanently
681304 Not modified since last retrieval
1400 Bad request
282403 Access forbidden
764404 Document not found
10405 Method not allowed

File Size Report

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

This report lists the sizes of files.

sizereqs%bytes
0784 
1B- 10B14 
11B- 100B4 
101B- 1kB186 
1kB- 10kB2542 0.29%
10kB-100kB8712 8.88%
100kB- 1MB466553.02%
1MB- 10MB38425.50%
10MB-100MB1712.31%

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
1039582.07%.pdf [Adobe Portable Document Format]
106 7.31%.gz [Gzip compressed files]
41 7.28%  .tar.gz [Compressed archives]
34 6.86%.tbz
887 1.24%.jpg [JPEG graphics]
5 0.89%.zip [Zip archives]
3586 0.76%[directories]
1529 0.34%.html [Hypertext Markup Language]
2 0.27%.tgz
467 0.13%.sml
297 0.16%[not listed: 6 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
307530.07%16/Feb/15 12:08/~lp15/papers/Notes/SE-I.pdf
1552 6.07%16/Feb/15 06:26/~lp15/papers/Reports/equivclasses-slides.pdf
1448 0.36%16/Feb/15 11:59/~lp15/
459 0.03%16/Feb/15 12:03/~lp15/MLbook/
432 8.26%15/Feb/15 21:41/~lp15/papers/Reports/thesis.pdf
385 0.67%16/Feb/15 05:23/~lp15/images/larry-home-small.jpg
370 0.48%16/Feb/15 05:23/~lp15/images/acm-logo.jpg
352 0.09%16/Feb/15 11:58/~lp15/papers/Arith/
330 0.14%16/Feb/15 09:35/~lp15/papers/refereed.html
263 1.99%16/Feb/15 10:30/~lp15/papers/Isabelle/Goedel-ar.pdf
220 0.70%16/Feb/15 09:02/~lp15/papers/Notes/Founds-FP.pdf
216 4.53%16/Feb/15 01:09/~lp15/Sue/Thesis.pdf
190 1.23%15/Feb/15 23:51/~lp15/papers/Auth/jcs.pdf
183 4.99%16/Feb/15 05:54/~lp15/papers/Isabelle/Goedel-slides.pdf
177 0.66%16/Feb/15 11:48/~lp15/papers/Reports/fleuriot-kepler.pdf
145 0.01%16/Feb/15 12:03/~lp15/MLbook/programs/
137 0.21%16/Feb/15 10:21/~lp15/papers/Reports/mutil.pdf
132 0.57%15/Feb/15 10:21/~lp15/papers/Reports/popl82.pdf
127 0.03%16/Feb/15 05:23/~lp15/Pages/Scream.html
120 0.03%16/Feb/15 05:37/~lp15/papers/Sets/
115 0.49%16/Feb/15 05:13/~lp15/papers/Reports/equivclasses.pdf
108 0.02%16/Feb/15 05:35/~lp15/Sue/
104 0.28%16/Feb/15 01:36/~lp15/papers/Isabelle/aisc98.pdf
97 0.48%15/Feb/15 16:32/~lp15/papers/Sets/set-I.pdf
91 0.15%16/Feb/15 11:36/~lp15/papers/Auth/SET-overview-2002.pdf
81 0.02%15/Feb/15 22:17/~lp15/papers/Automation/
75 0.17%14/Feb/15 15:05/~lp15/papers/Auth/lics.pdf
72 0.02%15/Feb/15 19:08/~lp15/papers/Auth/
72 0.01%15/Feb/15 14:44/~lp15/papers/lecture-courses.html
71 0.25%15/Feb/15 15:49/~lp15/papers/Sets/constructible-slides.pdf
68 0.51% 3/Feb/15 16:48/~lp15/papers/Arith/ITP 2012 presentation.pdf
68 0.24%16/Feb/15 12:09/~lp15/papers/Auth/tls.pdf
65 0.02%15/Feb/15 17:01/~lp15/MLbook/programs/sample3.sml
65 15/Feb/15 17:01/~lp15/MLbook/pub-details.html
64 0.05%16/Feb/15 11:05/~lp15/Sue/Sue Paulson.jpg
63 0.05%15/Feb/15 05:38/~lp15/papers/Reviews/MLer.pdf
62 0.01%15/Feb/15 14:30/~lp15/MLbook/review.html
61 15/Feb/15 22:36/~lp15/MLbook/exercises/
61 0.23%15/Feb/15 21:07/~lp15/papers/Reports/TPHOLs05.pdf
60 0.30%14/Feb/15 23:13/~lp15/papers/Sets/set-II.pdf
60 0.42%15/Feb/15 02:05/~lp15/papers/Arith/calculemus2008.pdf
60 0.34%15/Feb/15 06:23/~lp15/papers/Bella/smartcards-jcs.pdf
59 0.01%16/Feb/15 05:25/~lp15/Pages/cv.html
58 0.25%16/Feb/15 10:20/~lp15/papers/Bella/accountability.pdf
58 0.02%14/Feb/15 17:15/~lp15/Grants/SET/
57 15/Feb/15 22:11/~lp15/papers/Arith/download.html
57 0.18%16/Feb/15 10:23/~lp15/papers/Bella/esorics98.pdf
57 0.01%16/Feb/15 06:41/~lp15/MLbook/programs/sample2.sml
57 0.16%16/Feb/15 11:11/~lp15/papers/Workshop/papers/voelker.pdf
57 0.63%15/Feb/15 18:46/~lp15/Pages/Munich-slides.pdf
54 0.12%16/Feb/15 03:30/~lp15/Pages/vita.pdf
54 0.48%15/Feb/15 02:07/~lp15/papers/Arith/MetiTarski-jar.pdf
54 0.01%15/Feb/15 12:41/~lp15/papers/books.html
53 0.01%16/Feb/15 12:04/~lp15/MLbook/programs/sample4.sml
52 0.13%16/Feb/15 08:29/~lp15/papers/Automation/meng-termination.pdf
50 0.02%13/Feb/15 15:11/~lp15/MLbook/programs/sample8.sml
48 0.16%16/Feb/15 06:35/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
48 0.18%16/Feb/15 10:22/~lp15/papers/Sets/AC.pdf
46 0.74%15/Feb/15 04:43/~lp15/Sue/Thesis-Appendices.pdf
46 0.23%15/Feb/15 19:40/~lp15/papers/Sets/reflection.pdf
45 0.13%16/Feb/15 00:02/~lp15/papers/Bella/purchase.pdf
45 0.01%15/Feb/15 19:56/~lp15/Grants/AutoPolyFun/
44 0.62%12/Feb/15 19:23/~lp15/papers/Arith/metit-slides.pdf
44 0.51%15/Feb/15 05:05/~lp15/papers/Arith/Sogokon-nfm14.pdf
43 0.10%15/Feb/15 05:42/~lp15/papers/Isabelle/Goedel-logic.pdf
43 0.01%16/Feb/15 11:13/~lp15/papers/hol.html
43 0.01%14/Feb/15 15:09/~lp15/papers/Reports/
42 15/Feb/15 02:06/~lp15/Grants/
42 0.01%14/Feb/15 19:21/~lp15/archive/
42 0.01%13/Feb/15 07:33/~lp15/papers/invited.html
42 16/Feb/15 08:32/~lp15/papers/Arith/qepcad-for-mac.html
41 14/Feb/15 00:57/~lp15/MLbook/general.html
41 0.01%14/Feb/15 00:17/~lp15/MLbook/programs/sample8-2004.sml
40 0.16%14/Feb/15 05:22/~lp15/papers/Auth/SET-overview-IJIS.pdf
40 0.03%16/Feb/15 05:25/~lp15/images/pilkington.jpg
40 0.01%13/Feb/15 14:12/~lp15/papers/Isabelle/
40 0.01%14/Feb/15 15:09/~lp15/papers/workshop.html
39 0.17%15/Feb/15 17:18/~lp15/papers/Automation/translations.pdf
39 0.48%16/Feb/15 01:58/~lp15/papers/Bella/purchase-JAR.pdf
39 13/Feb/15 07:47/~lp15/Data/relevance/unfiltered-vampire.txt
39 0.03%16/Feb/15 08:19/~lp15/MLbook/first/programs/Hal.ML
38 0.01%16/Feb/15 11:51/~lp15/MLbook/programs/sample7.sml
38 0.07%13/Feb/15 21:14/~lp15/Usage/
38 0.18%15/Feb/15 17:47/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
38 0.01%16/Feb/15 11:01/~lp15/MLbook/ERRATA.html
38 0.17%14/Feb/15 07:06/~lp15/papers/Bella/certified-email.pdf
37 0.24%15/Feb/15 17:17/~lp15/papers/Automation/translations-jar.pdf
36 15/Feb/15 01:14/~lp15/papers/
36 0.07%14/Feb/15 06:08/~lp15/papers/Auth/yahalom.pdf
35 0.13%16/Feb/15 06:09/~lp15/papers/Reports/blast.pdf
35 0.13%15/Feb/15 17:49/~lp15/papers/Bella/nonrepudiation.pdf
35 0.01%14/Feb/15 10:32/~lp15/Grants/Automation/
34 0.10%16/Feb/15 09:04/~lp15/papers/Workshop/papers/kalvala-linear.pdf
34 14/Feb/15 01:05/~lp15/papers/Workshop/
33 14/Feb/15 07:00/~lp15/MLbook/first/
33 0.11%15/Feb/15 12:58/~lp15/papers/Workshop/papers/owens.pdf
33 16/Feb/15 09:28/~lp15/Pages/projects.html
32 0.02%12/Feb/15 06:54/~lp15/MLbook/first/ML-syntax.ps.gz
32 0.12%14/Feb/15 14:28/~lp15/papers/Auth/multicast_verification.pdf
32 0.13%15/Feb/15 13:43/~lp15/papers/Isabelle/coding.pdf
32 0.01%15/Feb/15 17:53/~lp15/Grants/UNITY/
31 14/Feb/15 14:40/~lp15/papers/Arith/atan-problem-1-weak.html
31 0.01%15/Feb/15 05:40/~lp15/MLbook/exercises/exer2.html
30 0.19%15/Feb/15 14:38/~lp15/papers/Auth/SET-overview-slides.pdf
29 0.30%28/Jan/15 15:00/~lp15/archive/Isabelle98.tar.gz
29 0.12%14/Feb/15 07:02/~lp15/papers/Automation/cade2011-sledge-smt.pdf
28 0.08%15/Feb/15 05:00/~lp15/papers/Automation/leo2-ijcar.pdf
27 15/Feb/15 17:01/~lp15/MLbook/disclaimer.html
27 0.01%14/Feb/15 00:25/~lp15/images/larry-paulson.jpg
27 14/Feb/15 03:18/~lp15/MLbook/programs/sample5.sml
27 0.10%14/Feb/15 06:43/~lp15/papers/Bella/registration.pdf
27 11/Feb/15 04:50/~lp15/Grants/LEO-II/
26 0.01%14/Feb/15 17:41/~lp15/MLbook/first/programs/Lists-Trees.ML
26 15/Feb/15 17:01/~lp15/MLbook/programs/ROOT.sml
26 0.07%14/Feb/15 07:19/~lp15/papers/Bella/dimacs97.pdf
25 0.07%14/Feb/15 08:08/~lp15/papers/Sets/constructible-abstract.pdf
25 0.06%11/Feb/15 17:30/~lp15/papers/Arith/ITP-2012-invited.pdf
24 0.21%15/Feb/15 19:36/~lp15/papers/Automation/reconstruction.pdf
24 0.13%15/Feb/15 07:15/~lp15/papers/Workshop/papers/vigano.pdf
24 0.05%15/Feb/15 04:26/~lp15/papers/Arith/Narayanan DATE.pdf
23 12/Feb/15 18:38/~lp15/Grants/BeyondLinArith/
23 0.03%14/Feb/15 12:48/~lp15/Sue/Cultures of Dance.ppt
23 0.02%16/Feb/15 03:56/~lp15/papers/Reviews/construct.pdf
23 0.43%12/Feb/15 21:54/~lp15/papers/Arith/Overcoming-slides.pdf
23 0.17%16/Feb/15 12:00/~lp15/papers/UNITY/UNITY.pdf
23 0.09%16/Feb/15 11:28/~lp15/papers/Arith/SNC2014-invited.pdf
23 13/Feb/15 09:34/~lp15/papers/recur.html
23 0.09%16/Feb/15 03:57/~lp15/papers/Bella/esorics2000.pdf
22 0.10%15/Feb/15 10:30/~lp15/papers/Sets/milner-ind-defs.pdf
22 0.11%15/Feb/15 19:23/~lp15/papers/Automation/filtering.pdf
22  9/Feb/15 17:22/~lp15/papers/Deduction/
22 0.01%12/Feb/15 18:35/~lp15/MLbook/programs/sample10.sml
22 0.07% 7/Feb/15 03:16/~lp15/papers/Arith/lpar2007.pdf
22 0.10%14/Feb/15 05:35/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
21 14/Feb/15 17:11/~lp15/Pages/
21  9/Feb/15 09:55/~lp15/Pages/CL-English.html
21 0.03%15/Feb/15 11:10/~lp15/Grants/LEO-II/leo2-case.pdf
21 0.01%16/Feb/15 12:04/~lp15/MLbook/programs/sample9.sml
21 0.13%16/Feb/15 11:52/~lp15/papers/Workshop/papers/rasmussen.pdf
21 0.06%14/Feb/15 06:52/~lp15/papers/Arith/fmcad2009.pdf
20 16/Feb/15 09:37/~lp15/papers/UNITY/
20 0.05%16/Feb/15 08:03/~lp15/papers/Isabelle/chap700.pdf
20 13/Feb/15 06:13/~lp15/MLbook/first/ERRATA1.txt
19 0.01%16/Feb/15 05:19/~lp15/MLbook/exercises/exer4.html
19 0.01%15/Feb/15 11:47/~lp15/papers/Sets/ind-defs-slides.pdf
19 0.01%15/Feb/15 05:27/~lp15/MLbook/exercises/exer6.html
19 0.04%16/Feb/15 02:54/~lp15/papers/Reports/CADE11.pdf
19 0.11%14/Feb/15 20:08/~lp15/papers/Sets/reflection-slides.pdf
19 0.06%16/Feb/15 11:48/~lp15/papers/Automation/paar.pdf
18 0.04%16/Feb/15 09:50/~lp15/papers/Workshop/papers/ayari.pdf
18 0.02%15/Feb/15 11:43/~lp15/papers/paulson.bib
18 0.06%15/Feb/15 11:02/~lp15/papers/Arith/case-splitting.pdf
18 0.09%15/Feb/15 01:41/~lp15/papers/Arith/Huang-3heuristics.pdf
18 0.05%14/Feb/15 23:22/~lp15/papers/Workshop/papers/thompson.pdf
18 15/Feb/15 22:36/~lp15/MLbook/exercises/disclaimer.html
18 0.07%12/Feb/15 16:24/~lp15/papers/Arith/Hscc09.pdf
18 0.11%16/Feb/15 06:11/~lp15/papers/Workshop/papers/kammueller.pdf
17 12/Feb/15 08:11/~lp15/papers/Notes/
17 0.16%15/Feb/15 17:17/~lp15/papers/Automation/filtering-jal.pdf
17 0.07%13/Feb/15 09:35/~lp15/papers/Notes/MOD-slides.pdf
17 0.14%12/Feb/15 23:33/~lp15/papers/Notes/formalizing-abst-slides.pdf
17 0.02%15/Feb/15 10:58/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
17 0.04%15/Feb/15 20:24/~lp15/papers/Arith/pdpar2006.pdf
17 0.01%13/Feb/15 14:23/~lp15/MLbook/exercises/exer8.html
17 0.22%13/Feb/15 14:05/~lp15/papers/Automation/info-and-comp.pdf
16 15/Feb/15 17:01/~lp15/MLbook/programs/notes.html
16 13/Feb/15 23:57/~lp15/MLbook/programs/sample8-old.sml
16 0.10% 3/Feb/15 10:46/~lp15/papers/Deduction/lecture1.pdf
16 0.06%14/Feb/15 22:12/~lp15/papers/Automation/jar-smt.pdf
16 15/Feb/15 23:57/~lp15/Grants/holisa.html
16 14/Feb/15 14:12/~lp15/MLbook/first/programs/Functions.ML
16 0.07%14/Feb/15 10:48/~lp15/papers/Isabelle/sylow.pdf
16 0.03%12/Feb/15 04:38/~lp15/papers/Auth/recur-slides.pdf
16 0.05%11/Feb/15 03:43/~lp15/papers/Sets/final.pdf
15 0.04%15/Feb/15 06:23/~lp15/papers/UNITY/ehmety-composition.pdf
15 0.04%14/Feb/15 14:32/~lp15/papers/Bella/cav98.pdf
15 0.01%16/Feb/15 07:23/~lp15/MLbook/programs/sample10-old.sml
15 0.29%14/Feb/15 07:23/~lp15/papers/Automation/reconstruction-slides.pdf
15 0.23%13/Feb/15 14:33/~lp15/papers/Sets/constructible-theory.pdf
15 0.08%14/Feb/15 22:12/~lp15/papers/UNITY/Mechanizing-compositional.pdf
15 14/Feb/15 00:33/~lp15/papers/Workshop/participants.html
15 0.21% 9/Feb/15 09:11/~lp15/papers/Bella/TPHOLs03-slides.pdf
14 0.29%15/Feb/15 07:45/~lp15/papers/Reports/TypeClasses.pdf
14 12/Feb/15 14:08/~lp15/papers/Workshop/matthews.html
14 0.01%14/Feb/15 06:41/~lp15/MLbook/exercises/exer5.html
14 0.09%14/Feb/15 08:44/~lp15/papers/UNITY/composition.pdf
14 0.25%15/Feb/15 04:44/~lp15/papers/Reports/TypeClasses-slides.pdf
14 0.04%14/Feb/15 07:20/~lp15/papers/Notes/strategy.pdf
14 0.05%14/Feb/15 07:42/~lp15/papers/Automation/IJCAR2004.pdf
14 15/Feb/15 14:44/~lp15/Templates/
14 0.01%16/Feb/15 00:04/~lp15/MLbook/exercises/exer7.html
14 13/Feb/15 10:54/~lp15/papers/Arith/RELEASE-NOTES.txt
14 0.09% 7/Feb/15 02:50/~lp15/papers/Arith/cicm2012.pdf
13 0.01%15/Feb/15 05:35/~lp15/MLbook/exercises/exer3.html
13 0.04%15/Feb/15 14:04/~lp15/papers/Workshop/papers/benini.pdf
13 0.42%15/Feb/15 22:41/~lp15/papers/Auth/lics-slides.pdf
13 0.13%12/Feb/15 20:00/~lp15/papers/Deduction/lecture3.pdf
13 0.01%14/Feb/15 06:52/~lp15/papers/Reports/blast-slides.pdf
13 0.01%13/Feb/15 03:35/~lp15/Usage/images/
13 0.02%16/Feb/15 01:27/~lp15/papers/Reports/CADE9.pdf
13 11/Feb/15 15:08/~lp15/MLbook/programs/sample3-old.sml
13 0.02%11/Feb/15 12:16/~lp15/papers/Ballarin/coding.pdf
13  8/Feb/15 23:06/~lp15/Data/relevance/
12 12/Feb/15 04:19/~lp15/tmp/
12 0.01%11/Feb/15 15:08/~lp15/MLbook/programs/test10.sml
12 0.10%15/Feb/15 14:07/~lp15/papers/Auth/tls-slides.pdf
12 0.19%14/Feb/15 06:22/~lp15/Grants/BeyondLinArith/arith-case.pdf
12  5/Feb/15 20:27/~lp15/MLbook/first/programs/Modules.ML
12 12/Feb/15 03:15/~lp15/Pages/ACS-proposals.html
11 0.02%13/Feb/15 05:01/~lp15/papers/Arith/FroCoS-2013-invited.pdf
11 13/Feb/15 14:23/~lp15/MLbook/first/programs/
11 0.20%14/Feb/15 18:45/~lp15/papers/Isabelle/Cube-presentation.pdf
11 0.03%14/Feb/15 05:36/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
11 16/Feb/15 10:42/~lp15/MLbook/programs/sample9-2004.sml
11 0.10% 5/Feb/15 16:26/~lp15/papers/Arith/NFM2014-slides.pdf
11 0.31%14/Feb/15 07:12/~lp15/papers/Auth/ijcar2001-slides.pdf
10  5/Feb/15 20:42/~lp15/Data/ho-translations/
10 0.05% 5/Feb/15 09:18/~lp15/papers/Arith/case-splitting-stats.csv
10 0.02%14/Feb/15 09:04/~lp15/Grants/Automation/final.pdf
10 0.03%14/Feb/15 20:14/~lp15/papers/UNITY/tphols01.pdf
10 14/Feb/15 19:14/~lp15/MLbook/first/programs/Lambda.ML
10 11/Feb/15 12:15/~lp15/papers/Ballarin/aisc98.pdf
10 0.18%14/Feb/15 22:45/~lp15/papers/Auth/dagstuhl2003-slides.pdf
10 1.06%14/Feb/15 21:21/~lp15/papers/Arith/FroCos-presentation.pdf
10 14/Feb/15 21:51/~lp15/MLbook/first/programs/Imperative.ML
9  9/Feb/15 15:57/~lp15/papers/Workshop/nipkow.html
9  7/Feb/15 18:52/~lp15/papers/Reviews/
9 0.03% 5/Feb/15 10:17/~lp15/papers/Workshop/papers/staples.pdf
9 12/Feb/15 01:28/~lp15/papers/Workshop/bednarczyk.txt
9  9/Feb/15 03:05/~lp15/papers/Bella/
9 0.36%11/Feb/15 10:21/~lp15/Sue/Phd-Poster.pdf
9 12/Feb/15 12:51/~lp15/papers/Workshop/paulson.html
9 0.10% 9/Feb/15 13:33/~lp15/papers/Reports/intro-to-isabelle.pdf
9 0.03% 6/Feb/15 05:45/~lp15/papers/Workshop/papers/matthews.pdf
9 13/Feb/15 03:32/~lp15/Data/
9 0.42%12/Feb/15 19:14/~lp15/papers/Arith/SNC2014-slides.pdf
9 0.02%14/Feb/15 06:16/~lp15/papers/Auth/ijcar2001.pdf
9 0.03%14/Feb/15 08:31/~lp15/papers/Automation/thf-sledge.pdf
9 13/Feb/15 03:31/~lp15/papers/Workshop/futures.html
9 0.01%14/Feb/15 07:31/~lp15/papers/Sets/AC-slides.pdf
9 10/Feb/15 14:05/~lp15/MLbook/first/ERRATA2.txt
8 16/Feb/15 02:11/~lp15/MLbook/first/programs/ParsePrint.ML
8 16/Feb/15 02:40/~lp15/Grants/arith.html
8 13/Feb/15 14:23/~lp15/MLbook/first/ERRATA3.txt
8 11/Feb/15 19:24/~lp15/papers/Workshop/staples.html
8 0.24% 9/Feb/15 11:21/~lp15/papers/Auth/dagstuhl2001-slides.pdf
8 0.17%14/Feb/15 11:35/~lp15/Grants/Automation/poster.pdf
8 14/Feb/15 16:05/~lp15/SpryAssets/
8 0.02%12/Feb/15 23:29/~lp15/papers/Notes/leeds-notes.pdf
8 0.05%16/Feb/15 00:54/~lp15/papers/Workshop/papers/bednarczyk.pdf
8 0.01%15/Feb/15 11:49/~lp15/Grants/UNITY/case.pdf
8 0.01%15/Feb/15 10:14/~lp15/papers/Arith/NFM2014-invited.pdf
8  5/Feb/15 04:04/~lp15/Grants/temporal.html
8 0.04%14/Feb/15 08:36/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
8 0.01%12/Feb/15 23:29/~lp15/papers/Auth/security-protocols.pdf
8 14/Feb/15 00:58/~lp15/MLbook/StandardML.plist
8 16/Feb/15 09:12/~lp15/Grants/Chaieb.html
7 0.09%11/Feb/15 03:16/~lp15/papers/Reports/Bridge-ml.pdf
7 0.32%14/Feb/15 10:44/~lp15/Grants/BeyondLinArith/arith-poster.pdf
7 0.01% 1/Feb/15 07:06/~lp15/papers/Auth/auth-slides.pdf
7 0.01%15/Feb/15 04:39/~lp15/papers/Workshop/vigano.pdf
7 0.02%15/Feb/15 04:00/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
7  5/Feb/15 04:04/~lp15/papers/Ballarin/
7 0.01%15/Feb/15 11:18/~lp15/papers/Workshop/kammueller.pdf
7 0.06%15/Feb/15 04:39/~lp15/papers/Reports/logics97.pdf
7 0.01%14/Feb/15 06:15/~lp15/papers/Workshop/friedrich.pdf
7 0.64% 7/Feb/15 06:21/~lp15/papers/Notes/LCF+.pdf
7 0.09% 8/Feb/15 11:56/~lp15/Grants/arith-case.pdf
7  5/Feb/15 04:04/~lp15/papers/Workshop/programme.html
6  5/Feb/15 04:04/~lp15/Grants/auth.html
6 14/Feb/15 08:18/~lp15/Grants/SET/case.pdf
6 11/Feb/15 10:11/~lp15/images/
6 15/Feb/15 02:44/~lp15/Grants/Automation/case.pdf
6 0.04% 9/Feb/15 17:26/~lp15/papers/Deduction/lecture2.pdf
6 11/Feb/15 15:28/~lp15/papers/Workshop/thompson.html
6 12/Feb/15 09:31/~lp15/papers/Workshop/agerholm.html
6 0.03% 3/Feb/15 07:37/~lp15/papers/Deduction/lecture4.pdf
6 0.03% 5/Feb/15 10:01/~lp15/papers/Workshop/papers/agerholm.pdf
6 12/Feb/15 13:17/~lp15/css/
20315.42%16/Feb/15 11:38[not listed: 72 files]