equal
deleted
inserted
replaced
73 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
73 \def\sisac{\footnotesize${\cal I}\mkern-2mu{\cal S}\mkern-5mu{\cal AC}$} |
74 |
74 |
75 \usepackage{color} |
75 \usepackage{color} |
76 \definecolor{lgray}{RGB}{238,238,238} |
76 \definecolor{lgray}{RGB}{238,238,238} |
77 |
77 |
|
78 \usepackage{hyperref} |
|
79 |
78 % |
80 % |
79 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
81 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
80 % % |
82 % % |
81 % How to use hyperref % |
83 % How to use hyperref % |
82 % ------------------- % |
84 % ------------------- % |
324 as well as interactive access to specifications and programs |
326 as well as interactive access to specifications and programs |
325 respectively. |
327 respectively. |
326 |
328 |
327 There is also a simple web-based representation of knowledge items; |
329 There is also a simple web-based representation of knowledge items; |
328 the items under consideration in this paper can be looked up as |
330 the items under consideration in this paper can be looked up as |
329 well~\footnote{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Inverse\_Z\_Transform.thy}}~\footnote{ |
331 well |
330 http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Partial\_Fractions.thy}}~\footnote{ |
332 ~\footnote{\href{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/Inverse\_Z\_Transform.thy}{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Inverse\_Z\_Transform.thy}}} |
331 http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Build\_Inverse\_Z\_Transform.thy}}. |
333 ~\footnote{\href{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/Partial\_Fractions.thy}{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Partial\_Fractions.thy}}} |
|
334 ~\footnote{\href{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/Build\_Inverse\_Z\_Transform.thy}{http://www.ist.tugraz.at/projects/isac/www/kbase/thy/browser\_info/HOL/HOL-Real/Isac/\textbf{Build\_Inverse\_Z\_Transform.thy}}}. |
332 |
335 |
333 % can be explained by having a look at |
336 % can be explained by having a look at |
334 % Fig.\ref{fig-interactive} which shows the beginning of the interactive |
337 % Fig.\ref{fig-interactive} which shows the beginning of the interactive |
335 % construction of a solution for the problem. This construction is done in the |
338 % construction of a solution for the problem. This construction is done in the |
336 % right window named ``Worksheet''. |
339 % right window named ``Worksheet''. |