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

Program started at Mon-26-Jan-2015 16:45.
Analysed requests from Wed-05-Nov-2014 15:02 to Mon-26-Jan-2015 16:26 (82.06 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 26-Jan-2015 16:45.

Successful requests: 17,460 (3,290)
Average successful requests per day: 212 (469)
Successful requests for pages: 4,674 (812)
Average successful requests for pages per day: 56 (115)
Failed requests: 561 (154)
Redirected requests: 84 (18)
Distinct files requested: 516 (284)
Distinct hosts served: 3,455 (934)
Unwanted logfile entries: 11,871
Data transferred: 5.09 gigabytes (675.89 megabytes)
Average data transferred per day: 63.54 megabytes (96.56 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 
Sun2397736+++++++++++++++++++++++++
Mon39001168+++++++++++++++++++++++++++++++++++++++
Tue2362575++++++++++++++++++++
Wed2087460++++++++++++++++
Thu2071473++++++++++++++++
Fri2354521++++++++++++++++++
Sat2289741+++++++++++++++++++++++++

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
625425.93%[unresolved numerical addresses]
121821.91%.de (Germany)
150020.96%.uk (United Kingdom)
345712.98%.com (Commercial)
1580 7.04%.net (Networks)
430 2.24%.in (India)
324 2.10%[domain not given]
391 0.82%[unknown domain]
69 0.49%.pk (Pakistan)
104 0.46%.cn (China)
190 0.42%.pl (Poland)
265 0.41%.edu (USA Higher Education)
123 0.34%.it (Italy)
59 0.31%.jp (Japan)
50 0.29%.tr (Turkey)
49 0.22%.ch (Switzerland)
52 0.15%.il (Israel)
51 0.14%.th (Thailand)
279 0.13%.ru (Russia)
54 0.13%.sg (Singapore)
47 0.12%.au (Australia)
12 0.12%.np (Nepal)
27 0.12%.nl (Netherlands)
43 0.11%.ir (Iran)
47 0.11%.es (Spain)
61 0.11%.ca (Canada)
28 0.11%.zw (Zimbabwe)
18 0.10%.gh (Ghana)
65 0.10%.fr (France)
49 0.09%.at (Austria)
24 0.09%.vn (Vietnam)
11 0.08%.za (South Africa)
20 0.07%.ke (Kenya)
17 0.07%.pt (Portugal)
6 0.06%.ae (United Arab Emirates)
15 0.05%.fi (Finland)
18 0.05%.bg (Bulgaria)
9 0.05%.lk (Sri Lanka)
16 0.05%.mx (Mexico)
36 0.05%.gr (Greece)
24 0.05%.tw (Taiwan)
2 0.05%.ua (Ukraine)
14 0.04%.hr (Croatia)
46 0.04%.cm (Cameroon)
20 0.04%.no (Norway)
1 0.04%.md (Moldova)
12 0.04%.dk (Denmark)
2 0.04%.ly (Libya)
2 0.04%.ma (Morocco)
16 0.03%.mu (Mauritius)
3 0.03%.rw (Rwanda)
16 0.03%.kh (Cambodia)
16 0.03%.kr (South Korea)
3 0.03%.ls (Lesotho)
16 0.03%.tz (Tanzania)
5 0.03%.nz (New Zealand)
26 0.03%.ro (Romania)
16 0.02%.br (Brazil)
20 0.02%.se (Sweden)
1 0.02%.lu (Luxembourg)
4 0.02%.ar (Argentina)
10 0.01%.ie (Ireland)
14 0.01%.cz (Czech Republic)
28 0.01%.org (Non Profit Making Organisations)
3 0.01%.am (Armenia)
1 0.01%.arpa (Arpanet)
14 0.01%.hu (Hungary)
1 0.01%.tt (Trinidad and Tobago)
4 0.01%.id (Indonesia)
4 .be (Belgium)
3 .ye (Yemen)
1 .cu (Cuba)
3 .mil (USA Military)
2 .hk (Hong Kong)
1 .uz (Uzbekistan)
7 .cy (Cyprus)
11 .co (Colombia)
2 .by (Belarus)
3 .my (Malaysia)
4 .sk (Slovakia)
4 .pe (Peru)
3 .si (Slovenia)
3 .ee (Estonia)
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
135420.72%cam.ac.uk
844 3.30%msn.com
75220.29%t-ipconnect.de
473 2.21%41
432 2.14%117
391 0.82%[unknown domain]
324 2.10%[domain not given]
320 1.84%yandex.com
288 1.27%14
278 0.99%your-server.de
269 0.12%17
244 0.92%27
229 1.17%amazonaws.com
209 0.08%mail.ru
193 1.11%baidu.com
187 0.46%119
183 page2rss.com
163 0.39%virginm.net
161 0.74%123
149 1.08%39
1001738.24%[not listed: 1,011 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
189pdf
181software
166engineering
92notes
49computer
45in
37on
36for
30the
30relation
29of
29and
28y
26if
26x
26~
26http://www.cl.cam.ac.uk/~lp15/papers/notes/se
26download
26i.pdf
23equivalence
22is
21engineer
19by
18a
16to
16classes
15show
15system
14engineering.pdf
14free
818[not listed: 261 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
136811693OS unknown
287261292Windows
 7501944  Unknown Windows
 1033228  Windows XP
 9577  Windows 2000
 4634  Windows NT
 66  Windows 98
 443  Windows Server 2003
 10  Windows 95
32497668Unix
 2489668  Linux
 40  Other Unix
 40  BSD
41652583Macintosh
5837416Known robots
6100Symbian 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
10697200 OK
6043206 Partial content
84301 Document moved permanently
720304 Not modified since last retrieval
177403 Access forbidden
383404 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
0785 
1B- 10B9 
11B- 100B0 
101B- 1kB175 
1kB- 10kB2808 0.23%
10kB-100kB8119 6.38%
100kB- 1MB513443.32%
1MB- 10MB38320.23%
10MB-100MB4729.84%

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
1098461.56%.pdf [Adobe Portable Document Format]
24930.35%.gz [Gzip compressed files]
13730.17%  .tar.gz [Compressed archives]
38 6.00%.tbz
819 0.75%.jpg [JPEG graphics]
3016 0.43%[directories]
1658 0.26%.html [Hypertext Markup Language]
2 0.26%.zip [Zip archives]
35 0.13%.csv
659 0.25%[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
416027.63%26/Jan/15 14:18/~lp15/papers/Notes/SE-I.pdf
1321 3.36%26/Jan/15 15:27/~lp15/papers/Reports/equivclasses-slides.pdf
908 0.17%26/Jan/15 16:22/~lp15/
416 0.02%26/Jan/15 15:19/~lp15/MLbook/
340 1.56%26/Jan/15 04:37/~lp15/papers/Isabelle/Goedel-ar.pdf
335 0.32%26/Jan/15 16:22/~lp15/images/acm-logo.jpg
320 4.35%24/Jan/15 22:25/~lp15/Sue/Thesis.pdf
306 0.09%26/Jan/15 15:56/~lp15/papers/refereed.html
256 0.33%26/Jan/15 16:22/~lp15/images/larry-home-small.jpg
198 0.48%26/Jan/15 10:38/~lp15/papers/Notes/Founds-FP.pdf
178 0.42%25/Jan/15 16:04/~lp15/papers/Reports/fleuriot-kepler.pdf
175 3.08%26/Jan/15 07:57/~lp15/papers/Reports/thesis.pdf
162 0.03%26/Jan/15 11:45/~lp15/Pages/Scream.html
161 0.69%26/Jan/15 06:41/~lp15/papers/Auth/jcs.pdf
159 0.03%26/Jan/15 13:34/~lp15/papers/Arith/
130 26/Jan/15 15:19/~lp15/MLbook/programs/
117 0.04%18/Jan/15 19:12/~lp15/images/larry-paulson.jpg
115 0.40%25/Jan/15 15:13/~lp15/papers/Sets/set-I.pdf
114 0.23%26/Jan/15 08:25/~lp15/papers/Auth/tls.pdf
105 0.11%26/Jan/15 05:55/~lp15/papers/Reports/mutil.pdf
103 0.29%21/Jan/15 08:29/~lp15/papers/Reports/popl82.pdf
101 0.02%25/Jan/15 06:15/~lp15/papers/Sets/
92 0.18%26/Jan/15 09:59/~lp15/papers/Isabelle/aisc98.pdf
90 0.01%26/Jan/15 15:48/~lp15/Sue/
90 0.33%26/Jan/15 15:30/~lp15/papers/Reports/equivclasses.pdf
89 0.01%25/Jan/15 08:02/~lp15/papers/Automation/
84 0.01%26/Jan/15 14:44/~lp15/papers/lecture-courses.html
77 0.02%26/Jan/15 12:29/~lp15/papers/Auth/
77 26/Jan/15 16:26/~lp15/MLbook/exercises/
71 0.16%25/Jan/15 19:44/~lp15/papers/Sets/constructible-slides.pdf
67 26/Jan/15 03:39/~lp15/MLbook/pub-details.html
67 0.17%26/Jan/15 10:13/~lp15/papers/Bella/purchase.pdf
64 0.04%26/Jan/15 14:49/~lp15/Sue/Sue Paulson.jpg
63 26/Jan/15 12:29/~lp15/Pages/cv.html
63 0.30%26/Jan/15 11:13/~lp15/papers/Bella/smartcards-jcs.pdf
59 0.01%26/Jan/15 03:40/~lp15/MLbook/ERRATA.html
59 0.24%25/Jan/15 21:32/~lp15/papers/Sets/set-II.pdf
58 0.14%26/Jan/15 08:29/~lp15/papers/Reports/fleuriot-princip-CADE.pdf
56 0.12%23/Jan/15 06:28/~lp15/papers/Bella/esorics98.pdf
56 0.01%25/Jan/15 14:18/~lp15/MLbook/review.html
56 26/Jan/15 09:42/~lp15/MLbook/programs/sample2.sml
56 0.12%23/Jan/15 17:47/~lp15/papers/Workshop/papers/voelker.pdf
56 0.01%23/Jan/15 09:55/~lp15/papers/hol.html
56 0.15%26/Jan/15 12:32/~lp15/papers/Sets/AC.pdf
55 0.22%21/Jan/15 12:05/~lp15/Pages/Munich-slides.pdf
55 0.41%25/Jan/15 10:27/~lp15/papers/Arith/Sogokon-nfm14.pdf
53 0.01%25/Jan/15 10:57/~lp15/papers/Reports/
52 0.01%25/Jan/15 16:20/~lp15/Grants/AutoPolyFun/
50 26/Jan/15 02:29/~lp15/papers/Arith/download.html
50 24/Jan/15 22:55/~lp15/Grants/
50 0.01%26/Jan/15 12:39/~lp15/archive/
50 0.31%24/Jan/15 04:07/~lp15/papers/Arith/calculemus2008.pdf
48 0.01%26/Jan/15 11:26/~lp15/MLbook/programs/sample8.sml
48 0.07%25/Jan/15 10:11/~lp15/papers/Auth/SET-overview-2002.pdf
48 25/Jan/15 23:31/~lp15/papers/
48 25/Jan/15 16:38/~lp15/papers/Arith/qepcad-for-mac.html
47 26/Jan/15 03:40/~lp15/MLbook/general.html
47 0.39%26/Jan/15 13:27/~lp15/papers/Bella/purchase-JAR.pdf
47 0.13%25/Jan/15 21:27/~lp15/papers/Reports/TPHOLs05.pdf
46 0.01%26/Jan/15 10:30/~lp15/MLbook/programs/sample7.sml
46 0.11%22/Jan/15 03:31/~lp15/papers/Bella/nonrepudiation.pdf
45 0.12%23/Jan/15 06:03/~lp15/papers/Auth/multicast_verification.pdf
45 0.03%26/Jan/15 12:29/~lp15/images/pilkington.jpg
45 0.07%26/Jan/15 06:39/~lp15/papers/Auth/lics.pdf
43 0.26%26/Jan/15 03:35/~lp15/papers/Arith/MetiTarski-jar.pdf
43 0.01%26/Jan/15 15:17/~lp15/MLbook/programs/sample3.sml
43 26/Jan/15 08:26/~lp15/papers/books.html
42 0.06%26/Jan/15 12:40/~lp15/Usage/
42 0.05%24/Jan/15 23:33/~lp15/papers/Reports/TR035-lcp-rewriting.pdf
42 0.01%26/Jan/15 15:19/~lp15/MLbook/programs/sample4.sml
40 0.01%26/Jan/15 15:36/~lp15/Grants/SET/
39 0.16%19/Jan/15 23:02/~lp15/papers/Reports/Bridge-ml.pdf
39 0.11%26/Jan/15 00:34/~lp15/papers/Reports/blast.pdf
39 0.23%26/Jan/15 15:33/~lp15/papers/Automation/reconstruction.pdf
39 22/Jan/15 12:38/~lp15/papers/Isabelle/
38 0.31%19/Jan/15 22:59/~lp15/papers/Arith/SNC2014-slides.pdf
38 0.11%19/Jan/15 14:48/~lp15/papers/Kammueller/sylow.pdf
37 24/Jan/15 06:41/~lp15/Pages/CL-English.html
37 23/Jan/15 18:56/~lp15/papers/Workshop/
37 0.10%25/Jan/15 22:38/~lp15/papers/Bella/accountability.pdf
37 0.05%25/Jan/15 23:36/~lp15/papers/Auth/yahalom.pdf
37 23/Jan/15 20:40/~lp15/papers/workshop.html
36 0.06%25/Jan/15 13:36/~lp15/Pages/vita.pdf
36 0.02%26/Jan/15 12:17/~lp15/papers/Reviews/MLer.pdf
36 0.07%26/Jan/15 15:22/~lp15/papers/Automation/meng-termination.pdf
36 23/Jan/15 23:38/~lp15/papers/recur.html
36 0.14%25/Jan/15 21:00/~lp15/papers/Arith/cicm2012.pdf
35 0.13%21/Jan/15 00:59/~lp15/papers/Arith/case-splitting-stats.csv
35 26/Jan/15 12:25/~lp15/Grants/BeyondLinArith/
35 0.12%26/Jan/15 15:02/~lp15/papers/Auth/SET-overview-IJIS.pdf
35 0.01%25/Jan/15 10:04/~lp15/MLbook/programs/sample8-2004.sml
35 0.08%24/Jan/15 07:37/~lp15/papers/Bella/dimacs97.pdf
35 21/Jan/15 20:31/~lp15/Grants/LEO-II/
35 0.17%20/Jan/15 07:21/~lp15/papers/Workshop/papers/kammueller.pdf
34 21/Jan/15 20:31/~lp15/Grants/Automation/
34 0.01%24/Jan/15 22:27/~lp15/Grants/UNITY/
33 0.06%26/Jan/15 06:15/~lp15/papers/Sets/constructible-abstract.pdf
32 0.01%25/Jan/15 16:31/~lp15/papers/invited.html
32 0.06%25/Jan/15 14:05/~lp15/papers/Arith/ITP-2012-invited.pdf
31 0.01%23/Jan/15 00:07/~lp15/MLbook/exercises/exer8.html
30 26/Jan/15 00:50/~lp15/MLbook/first/
30 0.01%26/Jan/15 15:18/~lp15/MLbook/exercises/exer7.html
30 0.13%19/Jan/15 23:01/~lp15/papers/Auth/SET-overview-slides.pdf
30 0.06%21/Jan/15 05:58/~lp15/papers/Automation/paar.pdf
30 25/Jan/15 13:07/~lp15/Data/relevance/unfiltered-vampire.txt
30 0.01%23/Jan/15 20:51/~lp15/MLbook/exercises/exer2.html
29 0.13%22/Jan/15 20:03/~lp15/papers/Automation/translations-jar.pdf
29 24/Jan/15 15:58/~lp15/papers/Notes/
29 0.05%24/Jan/15 17:24/~lp15/papers/Isabelle/Goedel-logic.pdf
29 0.09%23/Jan/15 15:06/~lp15/papers/Isabelle/coding.pdf
29 0.12%25/Jan/15 09:20/~lp15/papers/UNITY/UNITY.pdf
29 0.05%26/Jan/15 04:23/~lp15/papers/Arith/Narayanan DATE.pdf
29 0.10%23/Jan/15 20:56/~lp15/papers/Sets/reflection.pdf
28 25/Jan/15 10:21/~lp15/papers/UNITY/
28 0.06%23/Jan/15 17:07/~lp15/papers/Arith/case-splitting.pdf
28 0.01%21/Jan/15 04:49/~lp15/Usage/images/
27 18/Jan/15 15:51/~lp15/papers/isabelle.html
27 25/Jan/15 08:43/~lp15/MLbook/disclaimer.html
27 0.07%25/Jan/15 13:13/~lp15/papers/Automation/IJCAR2004.pdf
27 0.60%20/Jan/15 12:23/~lp15/papers/Auth/lics-slides.pdf
27 0.04%25/Jan/15 16:32/~lp15/papers/Arith/pdpar2006.pdf
27 0.10%25/Jan/15 03:28/~lp15/papers/Workshop/papers/vigano.pdf
27 0.06%24/Jan/15 20:58/~lp15/papers/Workshop/papers/owens.pdf
27 0.10%24/Jan/15 06:25/~lp15/papers/UNITY/Mechanizing-compositional.pdf
26 0.06%25/Jan/15 13:23/~lp15/papers/Bella/cav98.pdf
26 25/Jan/15 03:50/~lp15/SpryAssets/
26 0.02%24/Jan/15 15:57/~lp15/papers/Reviews/construct.pdf
26 24/Jan/15 18:33/~lp15/MLbook/programs/sample5.sml
25 17/Jan/15 20:17/~lp15/Pages/
25 0.08%26/Jan/15 10:21/~lp15/papers/Automation/translations.pdf
25 0.01%24/Jan/15 12:18/~lp15/MLbook/first/programs/Hal.ML
25 0.09%26/Jan/15 12:34/~lp15/papers/Bella/certified-email.pdf
24 0.08%25/Jan/15 10:35/~lp15/papers/Automation/filtering.pdf
24 0.09%26/Jan/15 02:59/~lp15/papers/Notes/MOD-slides.pdf
24 24/Jan/15 23:02/~lp15/Pages/projects.html
23 0.03%24/Jan/15 03:29/~lp15/papers/Arith/FroCoS-2013-invited.pdf
23 0.06%25/Jan/15 16:20/~lp15/papers/Arith/lpar2007.pdf
23 0.05%24/Jan/15 20:15/~lp15/papers/Arith/fmcad2009.pdf
23 0.07%25/Jan/15 05:03/~lp15/papers/Arith/SNC2014-invited.pdf
23 0.21%24/Jan/15 13:29/~lp15/papers/Automation/info-and-comp.pdf
22 0.01%26/Jan/15 04:48/~lp15/MLbook/exercises/exer3.html
22 26/Jan/15 00:32/~lp15/papers/Reviews/
22 18/Jan/15 02:26/~lp15/tmp/
22 0.01%26/Jan/15 15:25/~lp15/MLbook/first/ML-syntax.ps.gz
22 24/Jan/15 15:57/~lp15/papers/Deduction/
22 0.01%23/Jan/15 20:57/~lp15/MLbook/exercises/exer4.html
22 0.03%25/Jan/15 14:15/~lp15/Grants/LEO-II/leo2-case.pdf
22 0.06%24/Jan/15 22:26/~lp15/papers/Bella/registration.pdf
21 17/Jan/15 11:28/~lp15/papers/Bella/
21 0.03%15/Jan/15 14:57/~lp15/Sue/Cultures of Dance.ppt
21 23/Jan/15 20:43/~lp15/papers/Arith/atan-problem-1-weak.html
21 23/Jan/15 17:01/~lp15/css/
20 0.29%25/Jan/15 16:42/~lp15/papers/Reports/TypeClasses.pdf
20 0.08%23/Jan/15 08:04/~lp15/papers/Isabelle/Goedel-logic-mine.pdf
20 0.16%24/Jan/15 15:58/~lp15/papers/Notes/formalizing-abst-slides.pdf
20 25/Jan/15 03:49/~lp15/papers/Ballarin/
20 17/Jan/15 23:20/~lp15/Templates/
20 17/Jan/15 11:28/~lp15/papers/Kammueller/
20 25/Jan/15 18:20/~lp15/Data/
20 0.06%26/Jan/15 15:59/~lp15/papers/Automation/benzmuellerpaulson-modal.pdf
20 0.05%19/Jan/15 22:39/~lp15/papers/Arith/Hscc09.pdf
20 0.06%26/Jan/15 14:54/~lp15/papers/Automation/cade2011-sledge-smt.pdf
19 26/Jan/15 07:30/~lp15/MLbook/programs/notes.html
19 0.03%19/Jan/15 12:24/~lp15/papers/Workshop/papers/staples.pdf
19 17/Jan/15 11:28/~lp15/images/
19 0.05%19/Jan/15 22:58/~lp15/papers/Automation/jar-smt.pdf
18 24/Jan/15 15:43/~lp15/MLbook/first/programs/Lists-Trees.ML
18 0.01%25/Jan/15 12:16/~lp15/MLbook/programs/sample10.sml
18 0.03%25/Jan/15 15:51/~lp15/Grants/Automation/final.pdf
18 0.02%24/Jan/15 15:58/~lp15/papers/Notes/leeds-notes.pdf
18 0.01%22/Jan/15 12:04/~lp15/MLbook/exercises/exer6.html
18 0.10%18/Jan/15 05:11/~lp15/papers/Deduction/lecture3.pdf
18 0.02%25/Jan/15 20:10/~lp15/papers/Ballarin/aisc98.pdf
18 26/Jan/15 11:44/~lp15/MLbook/first/ERRATA1.txt
18 23/Jan/15 04:27/~lp15/MLbook/exercises/disclaimer.html
18 20/Jan/15 21:57/~lp15/papers/Workshop/participants.html
18 0.02%25/Jan/15 20:11/~lp15/papers/Ballarin/coding.pdf
17 26/Jan/15 02:29/~lp15/MLbook/exercises/exer5.html
17 0.06%26/Jan/15 08:15/~lp15/papers/UNITY/composition.pdf
17 0.11%24/Jan/15 15:58/~lp15/papers/Deduction/lecture1.pdf
17 0.04%24/Jan/15 15:58/~lp15/papers/Notes/strategy.pdf
17 0.01%25/Jan/15 10:04/~lp15/papers/Arith/NFM2014-invited.pdf
17 0.05%25/Jan/15 03:53/~lp15/papers/Bella/esorics2000.pdf
17 0.14%25/Jan/15 10:07/~lp15/papers/Arith/NFM2014-slides.pdf
16 20/Jan/15 15:45/~lp15/MLbook/programs/sample8-old.sml
16 20/Jan/15 20:45/~lp15/MLbook/programs/ROOT.sml
16 0.06%25/Jan/15 20:10/~lp15/papers/Sets/reflection-slides.pdf
16 0.04%22/Jan/15 02:47/~lp15/papers/Sets/final.pdf
16 17/Jan/15 11:28/~lp15/Data/relevance/
15 0.01%26/Jan/15 09:04/~lp15/MLbook/programs/test10.sml
15 25/Jan/15 20:20/~lp15/Grants/auth.html
15 0.03%26/Jan/15 16:19/~lp15/papers/Workshop/papers/benini.pdf
15 25/Jan/15 09:13/~lp15/MLbook/first/programs/
15 0.09%23/Jan/15 20:40/~lp15/papers/Automation/filtering-jal.pdf
15 0.11%24/Jan/15 12:47/~lp15/papers/Reports/intro-to-isabelle.pdf
15 0.03%19/Jan/15 22:49/~lp15/papers/Auth/ijcar2001.pdf
14 26/Jan/15 02:31/~lp15/Data/ho-translations/
14 0.03%22/Jan/15 18:01/~lp15/papers/UNITY/ehmety-composition.pdf
14 0.29%19/Jan/15 22:49/~lp15/papers/Auth/dagstuhl2001-slides.pdf
14 20/Jan/15 18:46/~lp15/MLbook/programs/sample9.sml
14 0.91%22/Jan/15 17:49/~lp15/papers/Isabelle/Goedel-slides.pdf
14 0.03%22/Jan/15 07:25/~lp15/papers/Workshop/papers/matthews.pdf
14 0.21%26/Jan/15 09:17/~lp15/papers/Automation/reconstruction-slides.pdf
14 0.02%25/Jan/15 23:26/~lp15/papers/Reports/CADE11.pdf
14 26/Jan/15 00:28/~lp15/Pages/ACS-proposals.html
14 0.09%25/Jan/15 09:17/~lp15/papers/Reports/logics97.pdf
14 0.02%19/Jan/15 22:49/~lp15/papers/Auth/security-protocols.pdf
14 1.26%19/Jan/15 22:59/~lp15/papers/Arith/FroCos-presentation.pdf
13 0.03%20/Jan/15 07:50/~lp15/papers/Automation/leo2-ijcar.pdf
13 0.03%23/Jan/15 21:47/~lp15/papers/UNITY/tphols01.pdf
13 0.03%23/Jan/15 19:11/~lp15/papers/Workshop/papers/kalvala-linear.pdf
13 17/Jan/15 11:27/~lp15/Grants/holisa.html
13 0.08%26/Jan/15 08:34/~lp15/papers/Workshop/papers/rasmussen.pdf
13 0.04%13/Jan/15 07:18/~lp15/papers/Kammueller/Locales-TPHOLs99.pdf
13 0.18%25/Jan/15 17:47/~lp15/papers/Auth/dagstuhl2003-slides.pdf
12 26/Jan/15 08:32/~lp15/MLbook/first/ERRATA3.txt
12 0.01%24/Jan/15 15:58/~lp15/papers/Notes/strategy-slides.pdf
12 0.02%19/Jan/15 23:02/~lp15/papers/Isabelle/chap700.pdf
12 0.05%26/Jan/15 14:29/~lp15/papers/Arith/Huang-3heuristics.pdf
12 23/Jan/15 19:22/~lp15/papers/Sets/ind-defs-slides.pdf
12 0.02%19/Jan/15 12:20/~lp15/papers/Workshop/papers/thompson.pdf
12 0.02%24/Jan/15 10:12/~lp15/papers/Automation/iwil2010-sledgehammer.pdf
12 0.59%19/Jan/15 23:00/~lp15/papers/Arith/Overcoming-slides.pdf
12 0.01%20/Jan/15 18:36/~lp15/Grants/UNITY/case.pdf
12 24/Jan/15 20:43/~lp15/papers/Arith/RELEASE-NOTES.txt
12 17/Jan/15 11:28/~lp15/MLbook/programs/sample9-2004.sml
12 19/Jan/15 22:18/~lp15/MLbook/StandardML.plist
11 0.01%26/Jan/15 14:29/~lp15/papers/paulson.bib
11 0.01%21/Jan/15 07:38/~lp15/Grants/SET/case.pdf
11 0.01%20/Jan/15 03:42/~lp15/papers/Arith/Overcoming.pdf
11 17/Jan/15 11:28/~lp15/MLbook/programs/sample10-old.sml
11 0.15%21/Jan/15 10:42/~lp15/papers/Reports/TypeClasses-slides.pdf
11 0.06%20/Jan/15 19:35/~lp15/papers/Workshop/papers/bednarczyk.pdf
11 0.21%22/Jan/15 22:49/~lp15/papers/Arith/metit-slides.pdf
11 0.02%24/Jan/15 11:56/~lp15/papers/Workshop/papers/kalvala-annotations.pdf
11 0.13%25/Jan/15 20:18/~lp15/papers/Sets/constructible-theory.pdf
11 26/Jan/15 02:30/~lp15/MLbook/first/programs/Functions.ML
11 0.68%19/Jan/15 22:58/~lp15/papers/Notes/LCF+.pdf
11 0.23%19/Jan/15 23:01/~lp15/papers/Auth/ijcar2001-slides.pdf
11 25/Jan/15 19:34/~lp15/MLbook/first/programs/Imperative.ML
11 0.39%26/Jan/15 06:30/~lp15/Sue/Thesis-Appendices.pdf
11 22/Jan/15 21:41/~lp15/MLbook/programs/sample3-old.sml
10 0.02%19/Jan/15 22:49/~lp15/papers/Auth/auth-slides.pdf
10 0.27%21/Jan/15 15:47/~lp15/Sue/Phd-Poster.pdf
10 0.03%18/Jan/15 18:52/~lp15/papers/Workshop/papers/nipkow.pdf
10 0.12%20/Jan/15 03:57/~lp15/Grants/BeyondLinArith/arith-case.pdf
10 0.68%20/Jan/15 07:24/~lp15/papers/Arith/ITP 2012 presentation.pdf
10 0.03%19/Jan/15 22:53/~lp15/papers/Isabelle/sylow.pdf
10 0.01%19/Jan/15 22:51/~lp15/papers/Auth/recur-slides.pdf
10 0.01%24/Jan/15 16:58/~lp15/papers/Reports/CADE9.pdf
10 0.03% 7/Jan/15 21:46/~lp15/papers/Workshop/papers/agerholm.pdf
10 0.12%20/Jan/15 16:55/~lp15/papers/Bella/TPHOLs03-slides.pdf
9 12/Jan/15 23:02/~lp15/MLbook/first/programs/ParsePrint.ML
9 21/Jan/15 18:05/~lp15/papers/Workshop/staples.html
9 0.02%23/Jan/15 17:54/~lp15/Grants/Chaieb-case.pdf
9 0.02%22/Jan/15 04:17/~lp15/papers/Workshop/papers/ayari.pdf
9 20/Jan/15 19:40/~lp15/papers/Workshop/matthews.html
9 0.05%19/Jan/15 22:50/~lp15/papers/Auth/SET-document.pdf
9 0.06%19/Jan/15 22:52/~lp15/papers/Auth/tls-slides.pdf
9 26/Jan/15 10:25/~lp15/papers/Workshop/paulson.html
9 0.13%19/Jan/15 22:05/~lp15/papers/Isabelle/Cube-presentation.pdf
9 0.01%17/Jan/15 09:55/~lp15/Grants/Automation/case.pdf
9 0.01% 5/Jan/15 16:52/~lp15/papers/Workshop/kammueller.pdf
9 0.01%20/Jan/15 20:17/~lp15/papers/Workshop/friedrich.pdf
9 20/Jan/15 15:49/~lp15/Grants/temporal.html
9 0.02%19/Jan/15 22:59/~lp15/papers/Automation/thf-sledge.pdf
9  7/Jan/15 18:45/~lp15/Sue/Cultures of Dance.html
8 0.03%24/Jan/15 00:41/~lp15/papers/Sets/milner-ind-defs.pdf
8 25/Jan/15 00:37/~lp15/papers/Workshop/nipkow.html
8 18/Jan/15 03:17/~lp15/Grants/UNITY/final.pdf
8 0.27%20/Jan/15 06:06/~lp15/Grants/BeyondLinArith/arith-poster.pdf
8 14/Jan/15 10:58/~lp15/Grants/SET/final.pdf
8 24/Jan/15 19:39/~lp15/papers/Workshop/thompson.html
8 23/Jan/15 12:29/~lp15/MLbook/first/programs/Modules.ML
8 0.02%25/Jan/15 16:21/~lp15/Grants/AutoPolyFun/case.pdf
8 17/Jan/15 11:27/~lp15/Grants/Chaieb.html
8 18/Jan/15 00:28/~lp15/Grants/temporal-final.pdf
8 25/Jan/15 03:18/~lp15/papers/Workshop/futures.html
8 0.01%19/Jan/15 13:15/~lp15/papers/Workshop/ayari.pdf
8 19/Jan/15 22:53/~lp15/papers/Sets/AC-slides.pdf
8 25/Jan/15 06:26/~lp15/papers/Workshop/programme.html
8 20/Jan/15 15:41/~lp15/archive/cant-ozols.ps.gz
7 0.12% 5/Jan/15 16:52/~lp15/Grants/Automation/poster.pdf
7 20/Jan/15 15:02/~lp15/MLbook/first/programs/Lambda.ML
7 0.04%20/Jan/15 04:46/~lp15/papers/Automation/Huet colloquium.pdf
7 0.07% 9/Jan/15 09:49/~lp15/papers/Deduction/lecture2.pdf
7 14/Jan/15 03:51/~lp15/archive/ERRATA.txt
7 18/Jan/15 00:08/~lp15/papers/Workshop/agerholm.html
7 0.08%11/Jan/15 23:22/~lp15/Grants/arith-case.pdf
7 22/Jan/15 15:03/~lp15/MLbook/ERRATA.txt
7 25/Jan/15 12:09/~lp15/MLbook/first/ERRATA2.txt
6 0.01%13/Jan/15 12:08/~lp15/papers/Workshop/front.pdf
6 0.03%16/Jan/15 22:54/~lp15/archive/lcf.tar.gz
6 0.01%17/Jan/15 03:54/~lp15/papers/Workshop/vigano.pdf
6 19/Jan/15 22:57/~lp15/papers/Reports/blast-slides.pdf
6 0.02%19/Jan/15 22:59/~lp15/papers/Isabelle/Locales-TPHOLs99.pdf
6 26/Jan/15 12:40/~lp15/archive/HOL-extensions.dvi.gz
6 0.07% 5/Jan/15 16:52/~lp15/papers/Deduction/lecture4.pdf
6 0.62%14/Jan/15 04:12/~lp15/archive/Isabelle2004.tar.gz
32036.34%26/Jan/15 14:29[not listed: 89 files]